19:52Linear Time Zero Knowledge Proofs for Arithmetic Circuit SatisfiabilityIACR632 viewsView & Download
20:09Sub Linear Lattice Based Zero Knowledge Arguments for Arithmetic CircuitsIACR835 viewsView & Download
26:16Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time VerifierIACR307 viewsView & Download
11:54ZK14: Miden's Arithmetic Circuit Evaluation (ACE) chiplet - Adrian Hamelink (Miden)Zero Knowledge167 viewsView & Download
49:01Siqi Liu: Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time VerifierCMU × LayerZero Crypto Seminar176 viewsView & Download
58:54Zero Knowledge Succinct Arguments with a Linear Time Prover - Jonathan BootleProtocol Labs613 viewsView & Download
28:00Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application to ...IACR332 viewsView & Download
1:02:18On The Complexity of Circuit Satisfiability - Ramamohan PaturiInstitute for Advanced Study342 viewsView & Download
26:35Mac'n'Cheese: Zero-Knowledge Proofs for Boolean and Arithmetic Circuits with Nested Disjunction...IACR505 viewsView & Download