ABIMS's starred repositories
cashu-zk-engine
Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.
zkVerify
zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.
100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
every-programmer-should-know
A collection of (mostly) technical things every software developer should know about
The-book-of-optimism-fault-proof
A document designed to explain fault proof from multiple perspectives, aimed at quickly bringing newcomers up to speed on the mechanisms of fault proof and its specific code details.
zk-light-clients
A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
awesome-artificial-intelligence
A curated list of Artificial Intelligence (AI) courses, books, video lectures and papers.
awesome-mpc
A curated list of multi party computation resources and links.
lambda-0b10
Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
pessimistic-proof
Pessimistic proof for the AggLayer.
awesome-reth
A list of awesome Reth-related resources
awesome-zkml
awesome-zkml repository
plonkathon
educational python plonk implementation, based on vitalik's py_plonk
awesome-sp1
A curated list of awesome resources related to SP1 - Succinct's zkVM.