soundness topic
List
soundness repositories
ZKbasicsCS
119
Stars
6
Forks
Watchers
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
dot-iris
31
Stars
1
Forks
Watchers
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization