GitHub - nomaxg/verified_comp_playground: Playground to implement ideas from Thaler's manuscript: Proofs, Arguments, and Zero-Knowledge.

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
src		src
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml

About

Playground to implement ideas from Thaler's manuscript: Proofs, Arguments, and Zero-Knowledge.

No releases published