Flock은 SHA-256, Keccak, BLAKE3 같은 대규모 배치 해시 연산 증명을 위한 해시 기반 SNARK다. 동일한 R1CS 회로의 배치를 입출력 관계와 함께 증명할 수 있고, 해시체인과 머클 경로 개봉 증명, 나아가 해시 기반 서명 검증까지 확장 가능하다. 코딩 에이전트와 공동 설계한 최적화 구현과 lincheck·zerocheck 프로토콜 개선을 결합해, M4 Max 프로세서 단일 코어에서 초당 BLAKE3 8만2000회, SHA-256 4만2000회, Keccak 3만회를 증명하며 네이티브 실행 대비 250배 미만의 오버헤드를 기록했다. 10코어에서는 BLAKE3 처리량이 초당 66만회를 넘었고, SHA-256 증명은 기존 최고 기록인 Binius64보다 9배, 타원곡선 기반 SNARK보다 500배 이상 빨랐다.

• •SHA-256·Keccak·BLAKE3 등 배치 해시 연산 증명을 위한 해시 기반 SNARK 'Flock' 제안
• •lincheck·zerocheck 프로토콜 최적화와 코딩 에이전트 공동설계 구현으로 성능 극대화
• •M4 Max 단일 코어에서 BLAKE3 초당 8.2만회, SHA-256 4.2만회 증명, 네이티브 대비 250배 미만 오버헤드
• •SHA-256 증명 속도가 기존 최고 기록 Binius64보다 9배, 타원곡선 SNARK보다 500배 이상 빠름