Manuel Mauro's starred repositories
finite-wasm
Cheating a little to solve the halting problem at scale
zksync-cli
CLI tool that simplifies zkSync development
hash-based-snargs-book
Source code for "Building Cryptographic Proofs from Hash Functions"
awesome-plonk
A curated list of awesome things related to plonk proof system
foundry-rust-template
Template for quickly getting started with developing Rust applications that leverage Foundry for EVM smart contract development
rust-pretty-assertions
Overwrite `assert_eq!` with a drop-in replacement, adding a colorful diff.
assert_cmd
Assert process::Command - Easy command initialization and assertions
sovereign-sdk
A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain