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

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

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

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