본 문서는 zkRollup에서 파이프라인 방식으로 제로 지식 증명을 생성하는 응용에 대해 심층적으로 탐구할 것입니다.

zkRollup에서 사용되는 제로 지식 증명 알고리즘의 계산 대리 정도는 정교하게 설계되어야 하며, 전체적으로 최적의 효율성을 달성하기 위해 적절해야 합니다. FOAKS 알고리즘은 자체 반복의 재귀를 통해 조정 가능한 계산 대리를 구현하였으며, zkRollup을 위해 특별히 설계된 제로 지식 증명 알고리즘입니다.

“소형 표 모드” zkEVM은 원래의 Solidity 이더리움 개발자가 zkEVM으로 원활하게 이전할 수 있도록 보장하면서, EVM을 ZK 증명 시스템으로 포장할 때 발생하는 불필요한 비용을 대폭 줄일 것입니다.

본 문서는 FOX가 Brakedown에서 도전을 생성하기 위해 고전적인 Fiat-Shamir 휴리스틱을 사용하는 비대면 프로토콜 구현 과정을 소개합니다.

Brakedown은 비교적 큰 증명 크기를 가지고 있지만, 현재 가장 빠른 다항식 약속 프로토콜임에 틀림없습니다.

“알고리즘이 부족하니 하드웨어로 메우자”는 어색한 상황에 빠지지 않기 위해 본질적인 알고리즘에서 문제를 해결해야 한다.