chainlight-io / unwrap_let
A Rust macro for quickly unwrapping a refutable pattern.
☆11Updated last year
Alternatives and similar repositories for unwrap_let:
Users that are interested in unwrap_let are comparing it to the libraries listed below
- Mutation testing tool for circom☆16Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Updated last year
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- A suite of portable, extensible `std` components for the superchain.☆21Updated last month
- Yultsur is a Rust implementation of Yul.☆23Updated 3 years ago
- Better assertion macros for pure Huff tests.☆19Updated last year
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- Curta CTF #12☆20Updated last year
- Tstore huff template☆17Updated last year
- A Rust library for creating solvers in the OP Stack's dispute protocol☆18Updated last year
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 8 months ago
- ☆17Updated 8 months ago
- ☆14Updated 5 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆32Updated 4 months ago
- A puzzle for Curta CTF☆26Updated last year
- Groth16 verifier on Arbitrum Stylus☆20Updated last year
- Writing MACI circuits in Noir☆16Updated last year
- halo2-lib-eddsa☆11Updated last year
- This is my solution. If you think you can further optimize it - be my guest!☆23Updated 2 years ago
- Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)☆34Updated 4 months ago
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆19Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆34Updated this week
- ☆12Updated last year
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated 2 years ago
- A smart-contract api and client for revm☆18Updated last year
- ☆31Updated 11 months ago
- Minimal Merkle Tree implementations☆28Updated 2 months ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year