flock

Flock 是一个面向 Apple Silicon 的 Rust 零知识证明系统，专为二元域 GF(2¹²⁸) 上的 R1CS 约束满足问题设计，支持 BLAKE3、SHA-256 和 Keccak-f[1600] 的哈希链与 Merkle 路径证明。其核心采用 zerocheck + lincheck PIOP 协议，结合基于二元域的多线性多项式承诺方案（Ligerito / BaseFold），并针对 ARM64 架构深度优化 NEON 加速，同时提供标量回退以保证跨平台可验证性。适用于轻量级、高吞吐的二元域 ZK 证明场景，如嵌入式设备上的哈希验证、Merkle 成员资格证明及可信执行环境中的紧凑验证。