proofs

Quadratic memory reductions for Zero-knowledge Proofs

Road to ZK Implementation: Nethermind Client's Path to Proofs

When are two proofs essentially the same? (2007)

There's more to mathematics than rigour and proofs (2007)

Teens who discovered new way to prove Pythagoras' theorem uncover more proofs