알렉산더 힉스는 형식 검증, 메커니즘 설계, 블록체인 프로토콜의 경제적 보안을 전문으로 하는 영국의 연구원, 컴퓨터 과학자, 기업가입니다. 그는 이더리움 재단의 연구원으로, 이더리움 생태계의 핵심 인프라 보안에 주력하고 있습니다. 힉스는 또한 Web3 보안 회사인 Veridise의 공동 창립자이기도 합니다. 그의 연구 기여는 제로 지식 가상 머신(zk-EVM)의 형식 검증, 거래 수수료 메커니즘의 게임 이론적 분석, 투명성 강화 기술 설계에 걸쳐 있습니다. ^{[1] [2] [3]}

교육

힉스는 물리학, 수학, 컴퓨터 과학 분야에서 여러 고급 학위를 받았습니다. 그는 런던 퀸 메리 대학교에서 이론 물리학 학사 학위를 받았습니다. 학부 과정을 마친 후 케임브리지 대학교에 진학하여 수학 삼각법 프로그램에서 수학 고급 연구 석사(MASt) 학위를 받았습니다. 케임브리지에 있는 동안 그는 형식적 방법에 대한 초기 관심을 키워 Isabelle 증명 지원 도구를 사용하여 수학의 형식적 검증에 대한 여름 연구를 수행했습니다. ^{[1] [2]}

2023년 힉스는 유니버시티 칼리지 런던(UCL)의 정보 보안 연구 그룹에서 정보 보안 박사 학위를 받았습니다. 그의 박사 연구는 리플 대학교 블록체인 연구 이니셔티브(UBRI)의 지원을 받았습니다. "투명성 강화 기술의 설계 및 사용"이라는 제목의 그의 논문은 Steven Murdoch의 지도하에 암호화 로그 기반 기술의 적용을 탐구하여 복잡한 시스템의 투명성과 감사 가능성을 개선했습니다. 이 연구는 이러한 시스템이 암호화폐 및 인증 기관과 같은 컨텍스트에서 어떻게 사용될 수 있는지에 중점을 두었습니다. ^{[1] [2]}

경력

힉스의 경력은 주요 프로토콜 개발 조직과 그가 공동 창립한 보안 회사에서 학계와 블록체인 산업의 교차점에 위치해 있습니다. 그는 2018년 런던의 Statebox에서 여름 인턴십으로 경력을 시작했습니다. ^[2]

2021년 11월부터 2023년 8월까지 힉스는 Protocol Labs에서 연구원으로 일했습니다. 그곳에서 그는 암호 경제학 팀의 일원으로 파일코인 네트워크의 메커니즘 설계 및 프로토콜 경제학에 중점을 두었습니다. ^[2]

2022년 5월, Protocol Labs에 재직하는 동안 힉스는 Web3 보안 회사인 Veridise를 공동 창립하여 CEO를 역임하고 있습니다. Veridise는 자동화된 보안 분석 도구를 개발하고 개발자가 보다 안전한 분산형 애플리케이션을 구축할 수 있도록 형식 검증 서비스를 제공하는 데 특화되어 있습니다. 이 회사는 총 50억 달러 이상의 가치가 있는 고객에게 보안 서비스를 제공했습니다. Veridise의 중요한 프로젝트는 zk-EVM의 참조 구현을 공식적으로 검증하기 위해 이더리움 재단과 협력한 것입니다. ^[4]

2024년 6월, 힉스는 이더리움 재단으로 자리를 옮겨 연구원으로 Robust Incentives Group(RIG)에 합류했습니다. 재단에서의 그의 업무는 형식 검증, AI, 메커니즘 설계 및 프로토콜 경제학의 조합에 중점을 둡니다. 그의 주요 책임은 이더리움의 확장성과 보안의 미래에 중요한 구성 요소인 zk-EVM을 공식적으로 검증하기 위한 재단의 대규모 노력을 주도하는 것입니다. ^{[3] [2]}

연구 및 기여

힉스의 연구는 형식 검증, 게임 이론적 경제 분석 및 투명성의 세 가지 주요 렌즈를 통해 분산형 시스템의 보안과 무결성을 강화하는 것을 목표로 합니다.

zk-EVM의 형식 검증

이더리움 재단에서 힉스는 제로 지식 가상 머신에 형식 검증을 적용하기 위한 주요 이니셔티브인 Verified-zkEVM 프로젝트를 이끌고 있습니다. 이 프로젝트의 중심 목표는 zk-EVM의 완전하고 기계 검사된 형식 사양을 만들고 해당 구현이 해당 사양을 올바르게 준수하는지 증명하는 것입니다. Zk-EVM은 자체 실행에 대한 암호화 증명을 생성할 수 있는 가상 머신으로, 이더리움 네트워크 확장을 위한 주요 솔루션인 ZK-롤업의 기술적 기반을 형성합니다. ^{[1] [3]}

이 작업의 중요성은 이더리움의 차세대 인프라의 중요한 부분으로 간주되는 것에 대해 가능한 최고 수준의 보안 보증을 제공하는 데 있습니다. 레이어 2 솔루션이 수십억 달러의 자산을 처리함에 따라 zk-EVM의 핵심 논리에 단일 버그가 발생하면 치명적인 재정적 손실로 이어질 수 있습니다. 형식 검증은 수학적 방법을 사용하여 전체 클래스의 버그와 취약점을 제거하여 시스템이 의도한 대로 정확하게 작동하도록 합니다. ^[4]

verified-zkevm.org에서 공개적으로 액세스할 수 있는 이 프로젝트는 zk-VM 보안 이니셔티브에 수천만 달러를 투자한 이더리움 재단으로부터 상당한 지원을 받았습니다. 더 넓은 커뮤니티 참여를 촉진하기 위해 힉스는 2024년 9월에 검증 노력에 기여하는 외부 팀과 개인에게 자금을 지원하기 위한 보조금 프로그램을 발표했습니다. 힉스는 또한 "형식 검증 행아웃"과 2024년 11월 방콕에서 열린 Devcon SEA의 기술 패널을 포함하여 이 주제에 대한 커뮤니티 이벤트를 조직하는 데 적극적으로 참여했습니다. ^[3]

투명성 강화 기술

힉스 박사 연구의 핵심 주제는 로그 기반 투명성 강화 기술(TET)의 사용이었습니다. 그는 **VAMS(기밀 데이터 액세스에 대한 검증 가능한 감사)**라는 시스템에 대한 제안서를 공동 작성했습니다. VAMS는 의료 또는 법 집행 기록과 같은 민감한 데이터에 대한 액세스 방식을 데이터 세트의 개인 정보 보호를 손상시키지 않고 공개적으로 검증 가능한 감사를 허용하도록 설계되었습니다. ^[1]

이 시스템은 기밀 데이터베이스에 대한 모든 액세스 요청을 Merkle 트리 또는 블록체인을 사용하여 구축할 수 있는 암호화 로그에 기록하여 작동합니다. 이를 통해 모든 쿼리의 변경 불가능하고 변조 방지 기록이 생성됩니다. 그런 다음 감사자는 이 로그를 처리하여 데이터 액세스 패턴에 대한 집계 통계를 생성하고 게시할 수 있습니다. 핵심 혁신은 게시된 이러한 통계가 액세스한 특정 기록의 기밀성을 유지하면서 암호화 로그에 대해 정확성에 대해 공개적으로 수학적으로 검증될 수 있다는 것입니다. 힉스는 이러한 투명성 메커니즘이 규정 준수를 확인하는 데 중요할 뿐만 아니라 시스템 규칙에 대한 공개적인 이의 제기를 가능하게 하고 분쟁을 공정하게 해결하는 데 중요하다고 주장했습니다. ^[1]

분산형 시스템 및 게임 이론

힉스는 블록체인 프로토콜의 경제적 인센티브 및 보안 모델을 분석하는 중요한 연구를 발표했습니다. 그의 연구는 종종 게임 이론을 사용하여 프로토콜 설계의 잠재적 약점이나 의도하지 않은 결과를 식별합니다.

주목할 만한 논문 중 하나는 2023년에 Sarah Azouvi, Guy Goren 및 Lioba Heimbach와 공동으로 작성한 이더리움의 EIP-1559 거래 수수료 메커니즘을 분석한 것입니다. 그들은 특정 조건에서 채굴자가 의도적으로 빈 블록을 채굴하는 것이 합리적이고 이익을 극대화하는 전략이 될 수 있음을 입증했습니다. 이 작업은 트랜잭션이 포함되지 않도록 보류하여 결과적으로 후속 블록의 기본 수수료가 상승하여 잠재적으로 트랜잭션 수수료에서 채굴자의 미래 수익을 증가시킵니다. 이 연구는 이더리움의 가장 중요한 경제 업데이트 중 하나의 인센티브 구조에서 미묘한 취약점을 강조했습니다. ^[1]

2018년 Patrick McCorry 및 Sarah Meiklejohn과 공동으로 작성한 논문에서 힉스는 교차 체인 인센티브 조작을 탐구했습니다. 이 연구는 채굴자에게 뇌물을 주기 위해 신뢰할 수 없는 스마트 계약을 구성하는 방법을 보여주었습니다. 예를 들어, 이더리움의 계약은 비트코인 채굴자가 비트코인 네트워크에서 특정 블록을 고아시키는 것과 같은 특정 작업을 실행하는 경우 자동으로 비트코인 채굴자에게 뇌물을 지불하도록 프로그래밍할 수 있습니다. 이는 서로 다른 블록체인의 경제적 보안 모델이 격리되지 않고 한 체인의 인센티브를 사용하여 다른 체인의 동작에 영향을 미칠 수 있음을 입증했습니다. ^[1]

Sarah Azouvi와의 추가 연구에서는 분산화 자체의 신뢰성을 조사했습니다. 게임 이론적 모델을 사용하여 시스템의 분산화를 늘리는 것은 어렵지만 특히 "분산화를 의식하는 플레이어"와 장기적인 인센티브가 시스템 설계에 고려될 때 시간이 지남에 따라 안정적으로 유지될 수 있음을 보여주었습니다. ^[1]

주요 출판물

• Hicks, A. (2023). "투명성 강화 기술의 설계 및 사용." 박사 학위 논문, 유니버시티 칼리지 런던. ^[1]
• Azouvi, S., Goren, G., Heimbach, L., & Hicks, A. (2023). "기본 이더리움의 EIP-1559 거래 수수료 메커니즘의 수수료 조작." 분산 컴퓨팅에 관한 국제 심포지엄. ^[1]
• Azouvi, S., & Hicks, A. (2022). "분산화를 의식하는 플레이어와 시스템 신뢰성." 금융 암호화 및 데이터 보안. ^[1]
• Hicks, A., et al. (2022). "Cerberus: 인증서 투명성을 재설계하는 공식적인 접근 방식." IEEE 보안 및 개인 정보 보호 심포지엄(S&P). ^[2]
• Hicks, A., et al. (2022). "SoK: 투명한 부정직." ACM 금융 기술 발전 회의(AFT). ^[2]
• Hicks, A., Mavroudis, V., Al-Bassam, M., Meiklejohn, S., & Murdoch, S. J. (2018). "VAMS: 기밀 데이터 액세스에 대한 검증 가능한 감사." arXiv:1805.04772. ^[1]
• McCorry, P., Hicks, A., & Meiklejohn, S. (2018). "채굴자에게 뇌물을 주기 위한 스마트 계약." 금융 암호화 및 데이터 보안: FC 2018 국제 워크숍. ^[1]