asm-nop / lemmaLinks
ZK Theorem Proving
☆10Updated last year
Alternatives and similar repositories for lemma
Users that are interested in lemma are comparing it to the libraries listed below
Sorting:
- ☆16Updated 2 years ago
- Better assertion macros for pure Huff tests.☆19Updated last year
- Curta CTF #12☆20Updated last year
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 3 months ago
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Updated last year
- Groth16 verifier in EVM☆21Updated 2 years ago
- Minimal Merkle Tree implementations☆30Updated 2 months ago
- celestia blobs, evm execution☆19Updated 6 months ago
- ☆35Updated 3 years ago
- ☆21Updated last year
- Breathe air☆25Updated last year
- ☆17Updated 2 years ago
- ☆21Updated 2 years ago
- Zig EVM☆32Updated 8 months ago
- An NFT collection to commemorate players of the Curta team for their participation and performance in the 2023 Paradigm CTF.☆11Updated last year
- Axiom smart contracts☆26Updated 2 years ago
- ☆14Updated 11 months ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Updated 3 years ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated last week
- Andromeda revm execution service☆31Updated last year
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 3 years ago
- Write Zero Knowledge Circuits in Solidity☆13Updated last year
- inscriptions lol☆16Updated last year
- A rewrite of Optimism's MIPS.sol thread context in Huff☆25Updated 2 years ago
- Herodotus Data Processor using SP1 as backend☆17Updated 9 months ago
- A puzzle for Curta CTF☆26Updated last year
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- A Rust library for creating solvers in the OP Stack's dispute protocol☆18Updated last year
- Real-time bidding API scaffold for MevWallet transactions☆18Updated 2 years ago
- Writing MACI circuits in Noir☆16Updated last year