액시엄의 Halo2 회로에 대한 심층 분석
2023년 두 차례의 감사를 통해, 액시엄이 개발한 블록체인 시스템을 검토했습니다. 이 시스템은 이더리움 전체의 과거 기록을 이용한 컴퓨팅을 가능하게 하며, ZK-검증된 타원 곡선과 SNARK 재귀 연산을 사용하여 온체인에서 제로지식 증명(ZKPs)으로 모든 것을 검증합니다. 이 시스템은 Halo2 프레임워크를 사용하여 구축되었는데, 이는 복잡하고 새롭게 등장하는 기술로서, 낮은 수준의 API로 인한 잠재적인 제약 부족 문제를 포함하여 안전한 애플리케이션 구축 시 많은 어려움을 야기합니다.
