Rosefintech / Rosefintech-RosL2-BridgeLinks
Zero-knowledge-proof verification bridge
☆16Updated 4 years ago
Alternatives and similar repositories for Rosefintech-RosL2-Bridge
Users that are interested in Rosefintech-RosL2-Bridge are comparing it to the libraries listed below
Sorting:
- ☆12Updated last year
- ☆19Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆31Updated 2 years ago
- Blog☆23Updated 2 years ago
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 3 years ago
- A curated list of security related material for the growing starknet ecosystem particularly cairo smart contracts.☆14Updated 3 years ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- ☆40Updated 2 years ago
- A Brainfuck zkVM with Circom.☆59Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆34Updated last year
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- ☆17Updated 2 years ago
- Forkable template to get you started with Starknet Foundry's Forge☆15Updated last year
- ☆30Updated last year
- repository for core circom and smart contract☆13Updated 2 years ago
- ☆17Updated 6 months ago
- Complex Math Lib & FFT implementation in Huff☆27Updated last year
- ☆14Updated 8 months ago
- clones-with-immutable-args by wighawag written in Huff.☆27Updated 2 years ago
- Solidity bytecode mapping for caller authorization☆20Updated 3 years ago
- Tstore huff template☆17Updated last year
- ☆63Updated 2 years ago
- BigInt library for Aztec's noir language☆32Updated last year
- POCs and In-depth explanation of the logic and math behind common elliptic curve cryptography edge cases and attack vectors☆42Updated last year
- Iterated prisoner's dilemma tournaments implemented with Cairo☆25Updated 3 years ago
- Mutation testing tool for circom☆16Updated 2 years ago
- simple zk implementations in python☆28Updated last year
- Prove knowledge of smart contract bugs using zkEVM☆43Updated 11 months ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year