GitHub topics: interactive-proofs
LBruyne/Scalable-Collaborative-zkSNARK
Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
Language: Rust - Size: 2.68 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 49 - Forks: 4
spamegg1/spamegg1-thm-prov-lean4
Working through Theorem Proving in Lean4
Language: Lean - Size: 111 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
sunsided/lean4-playground
Toying around with Microsoft Lean 4
Language: C - Size: 1.4 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
sunsided/coq-playground
Toying around with the Coq Proof Assistant
Language: Coq - Size: 6.84 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
enh11/sumcheck
The sumcheck protocol is a protocol for the prover to convince the verifier that the prover can compute correctly the evaluation of a multivariate polynomial over the hypercube {0,1}^n.
Language: Rust - Size: 11.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
LBruyne/ZKPedia
An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.
Size: 461 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
plesak/mipstarisre
Minerva University Bachelor Thesis Project: MIP* = RE
Language: JavaScript - Size: 25.3 MB - Last synced at: 6 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
