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☆30Jun 13, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🦎 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
- ☆15Aug 29, 2024Updated last year
- ☆42Jul 25, 2024Updated last year
- An implementation of Sangria☆17Jun 1, 2023Updated 3 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 2 years ago
- ☆24Mar 8, 2024Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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 3 years ago
- A document describing purity detection in EVM opcode☆16Mar 28, 2022Updated 4 years ago
- Modular aggregated order book for CeFi exchanges☆14May 25, 2023Updated 3 years ago
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Batteries included library to configure tracing, logs and metrics☆13Apr 28, 2026Updated last month
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated 2 years ago
- ☆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☆29Jan 14, 2026Updated 4 months ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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.☆64Jul 27, 2024Updated last year
- A pure-std Rust computation graph library☆15Jun 3, 2021Updated 5 years ago
- Prove knowledge of smart contract bugs using zkEVM☆43Sep 20, 2024Updated last year
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 3 years ago