New Lookup Argument Achieves Optimal Commitment Size for Universal ZK Circuits
Lasso introduces a sparse multilinear polynomial commitment scheme to make non-arithmetic ZK operations linear, unlocking the lookup singularity.
Binary GKR Proof System Accelerates ZK-EVM Computation by Optimizing Keccak Hashing
Binary GKR introduces a new ZK proof system optimized for bitwise operations, fundamentally unlocking the speed required for practical ZK-EVMs.
Binary GKR: Accelerating Zero-Knowledge Proofs for Keccak Hashing
Polyhedra's Binary GKR dramatically speeds Keccak hash function proving, enabling efficient zero-knowledge computation for scalable blockchain architectures.
