proofs

Here are 5 public repositories matching this topic...

Transport sequent proofs across rule changes (e.g. remove Cut). Stability certificates for Lean/Coq/Agda.

coq agda lean proofs formal-verification zero-knowledge nlnet tesl

Abstraction layer for zero-knowledge backends, allowing pluggable ZK-VM implementations.

proofs zero-knowledge

Numerical verifications, simulations, formal proofs, competitions

Zero-Knowledge Proofs (ZKPs) protocols

rust cryptography proofs zero-knowledge

Sigma proofs implementation for Rust.

protocols proofs sigma fiat-shamir zero-knowledge zkproofs perdersen

Add a description, image, and links to the proofs topic page so that developers can more easily learn about it.

To associate your repository with the proofs topic, visit your repo's landing page and select "manage topics."