TechFlow 소식, ZK 증명 생성 계층인 Cysic가 X 플랫폼에 게시한 글에 따르면, Cysic 팀은 이더리움 재단의 장젠페이(zhangzhenfei)와 협력하여 Jolt-b 논문을 완성하였으며, @a16z가 개발한 zkVM 솔루션인 Jolt의 재귀 친화성을 개선해 더욱 효율적으로 만들었다. 이제 zkVM은 임의 크기의 프로그램을 실행하고 그 실행 과정에 대한 ZK 증명을 생성할 수 있게 되었다. 이를 가능하게 한 핵심은 프로그램을 하위 프로그램으로 분할하고 각각의 하위 프로그램에 대해 증명을 생성한 후, 재귀적 증명을 통해 모든 하위 프로그램 증명의 정확성을 검증하는 것이다.
Jolt-b는 '베이스폴드(Basefold)'라 불리는 대체 커밋먼트 스킴을 채택함으로써 재귀 친화성을 높였으며, IOP(대화형 증명)를 더욱 효율적으로 만들었다. 이 방법은 Plonky2가 Plonk 방식을 개선한 것과 유사하다. 또한 Cysic 팀은 Irreducible이 개발한 증명 백엔드 Binius는 zkVM 구축에는 적합하지 않지만 사전 컴파일(precompiles) 분야에서는 우수한 성능을 보여준다고 지적했다. Binius는 최소한의 제곱수 체(field)를 사용하여 증명 복잡도를 최적화하지만, u16 또는 u32 구조를 처리할 때 재귀 증명의 복잡성을 증가시킨다.
즐겨찾기 추가
소셜 미디어 공유
