Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/baro77/ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
argument completeness fiat-shamir nizk proof proof-of-knowledge prover simulator soundness verifier zero-knowledge zkp
Last synced: 25 Jun 2024
![](https://github.com/baro77.png)
![](https://github.com/eprover.png)
https://github.com/newca12/awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
automated-theorem-provers constructive-mathematics dependent-types formal-verification logic proof-assistants prover reasoning rust theorem-prover theorem-proving
Last synced: 26 May 2024
![](https://github.com/newca12.png)
https://github.com/ExcaliburZero/resolution-prover
An implementation of a propositional logic resolution prover in Rust.
Last synced: 22 May 2024
![](https://github.com/ExcaliburZero.png)
https://github.com/cicada-lang/cicada
Cicada Language
cicada dependent-record-types dependent-type-theory dependent-types interactive-theorem-proving language programming-language prover repl theorem-prover type-system type-theory
Last synced: 16 Apr 2024
![](https://github.com/cicada-lang.png)
https://github.com/niluferokay/awesome-prover-mechanisms
An awesome list of prover mechanism resources of the zk ecosystem
awesome-list aztec ethereum mechanism-design polygon-zkevm prover scroll starknet taiko zkrollup zkrollups
Last synced: 07 Apr 2024
![](https://github.com/niluferokay.png)