interactive-proofs

There are 2 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.

  collaborative-zksnarkinteractive-proofszero-knowledgezero-knowledge-proofszk-snarks
  Language:Rust 26

• LBruyne / ZKPedia

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

  cryptographygroth16interactive-proofsnizkplonkverifiable-computationverifiable-computingwikipediazero-knowledgezero-knowledge-proofzkpzksnark
  4

• keuapar / mipstarisre

  Minerva University Bachelor Thesis Project: MIP* = RE

  computational-complexityinteractive-proofsinteractive-visualizations
  Language:JavaScript 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.

  cryptographyinteractive-proofs
  Language:Rust

• sunsided / coq-playground

  Toying around with the Coq Proof Assistant

  coqinteractive-proofs
  Language:Coq

• sunsided / lean4-playground

  Toying around with Microsoft Lean 4

  interactive-proofslean
  Language:C