interactive-proofs

There are 6 repositories under interactive-proofs topic.

  • LBruyne/Collaborative-GKR

    Proof-of-concept implementation of collaborative GKR and a collaborative zk-SNARK with fully distributed proof generation.

    Language:Rust29311

  • LBruyne/ZKPedia

    An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.

    4202

  • 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:Rust00

  • keuapar/mipstarisre

    Minerva University Bachelor Thesis Project: MIP* = RE

    Language:JavaScript0100

  • sunsided/coq-playground

    Toying around with the Coq Proof Assistant

    Language:Coq20

  • sunsided/lean4-playground

    Toying around with Microsoft Lean 4

    Language:C20