Curta CTF #12
☆20Oct 13, 2023Updated 2 years ago
Alternatives and similar repositories for labyrinth
Users that are interested in labyrinth are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An NFT collection to commemorate players of the Curta team for their participation and performance in the 2023 Paradigm CTF.☆11Nov 2, 2023Updated 2 years ago
- A puzzle for Curta CTF☆26Sep 5, 2023Updated 2 years ago
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Jul 23, 2024Updated last year
- ZK Theorem Proving☆10Aug 11, 2024Updated last year
- Minimal Merkle Tree implementations☆32Jun 13, 2025Updated 9 months ago
- 🦎 Prototypes on polymorphic, metamorphic and poly-metamorphic malwares in Rust 🦎☆14Oct 8, 2023Updated 2 years ago
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated 2 years ago
- Lightweight throttle layer for alloy providers☆16Mar 10, 2025Updated last year
- ☆14Aug 29, 2024Updated last year
- ☆42Jul 25, 2024Updated last year
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- A vscode extension that copies huff's code stack comment and paste in the next line, making it easy for Huffooors to write opcodes w/o wo…☆14Apr 25, 2024Updated last year
- ☆23Mar 8, 2024Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Jul 29, 2023Updated 2 years ago
- Standard Tests for OP Stack Component Implementations.☆18Nov 11, 2024Updated last year
- Andromeda revm execution service☆32Jul 25, 2024Updated last year
- Curta Challenge☆16Apr 15, 2023Updated 2 years ago
- A document describing purity detection in EVM opcode☆16Mar 28, 2022Updated 3 years ago
- Modular aggregated order book for CeFi exchanges☆13May 25, 2023Updated 2 years ago
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated last year
- Batteries included library to configure tracing, logs and metrics☆13Updated this week
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated last year
- ☆23Mar 6, 2023Updated 3 years ago
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Aug 23, 2023Updated 2 years ago
- Efficient beacon chain batch deposit contract written in huff☆22Oct 1, 2023Updated 2 years ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆27Jan 14, 2026Updated 2 months ago
- RLN on KZG☆21Sep 20, 2023Updated 2 years ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆34Feb 21, 2024Updated 2 years ago
- Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.☆10Sep 8, 2023Updated 2 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 2 years ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆65Jul 27, 2024Updated last year
- A pure-std Rust computation graph library☆15Jun 3, 2021Updated 4 years ago
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- Prove knowledge of smart contract bugs using zkEVM☆43Sep 20, 2024Updated last year
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago