Repository to verify contributions to the AZTEC Ignition ceremony
☆23Mar 31, 2023Updated 3 years ago
Alternatives and similar repositories for ignition-verification
Users that are interested in ignition-verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Update or revert to a specific DappTools commit with ease.☆37Jan 3, 2022Updated 4 years ago
- ☆14Feb 2, 2021Updated 5 years ago
- A comprehensive guide for building production-ready SaaS applications with Elixir/Phoenix and React/TypeScript.☆14Jan 25, 2026Updated 9 months ago
- Calculate per-second rates for MCD applications☆11Jun 24, 2022Updated 4 years ago
- DELEGATECALL-safe multi-owner auth☆12Feb 1, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A set of simple solidity contracts to extend ENS functionality to other smart contracts☆37Dec 22, 2021Updated 4 years ago
- Oracle whitelisting for permissioned user.☆10Apr 26, 2022Updated 4 years ago
- ☆11Feb 19, 2020Updated 6 years ago
- ☆17Nov 18, 2021Updated 4 years ago
- NFT proxy manager☆10Feb 1, 2022Updated 4 years ago
- Ray tracing on the Ethereum Virtual Machine☆12May 5, 2021Updated 5 years ago
- Evm cli tool for interacting and analyzing smart contracts☆15Jan 24, 2023Updated 3 years ago
- supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets☆12Aug 13, 2020Updated 6 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An API compatible port of the Stone prover.☆20Nov 4, 2024Updated last year
- Syntax highlighting for Solidity in Vim☆51Jan 14, 2026Updated 9 months ago
- WIP: code generation package in Go -- used by gnark, goff and gurvy☆14Oct 2, 2026Updated 3 weeks ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆15Aug 13, 2025Updated last year
- Optimistic Implementation of the DNSSEC Registrar☆14Nov 11, 2020Updated 5 years ago
- MCD Command-line interface☆18Oct 3, 2022Updated 4 years ago
- ☆10Jul 29, 2025Updated last year
- Docker-dapptools: A drop-in docker replacement for dapptools.☆39May 13, 2022Updated 4 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Nov 29, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Jul 30, 2022Updated 4 years ago
- ☆15Dec 15, 2021Updated 4 years ago
- Ethereum CREATE2 usage example☆11Nov 12, 2018Updated 7 years ago
- ☆103Updated this week
- tiny helpers for hardhat and ethers.js☆16May 23, 2022Updated 4 years ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24May 6, 2025Updated last year
- compress library implements a lightweight, deflate-like compression algorithm designed to have a simple, zk-friendly decompression algori…☆14Sep 1, 2026Updated last month
- ☆18Sep 3, 2021Updated 5 years ago
- Contract to record hashes of recent and historic blocks☆14Sep 28, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A collection of async Rust benchmarks aimed to understand the performance implications of various async patterns.☆12Jun 11, 2025Updated last year
- ☆15Mar 7, 2022Updated 4 years ago
- ☆15May 27, 2021Updated 5 years ago
- A simple and sufficient ERC721 implementation☆21Jul 11, 2022Updated 4 years ago
- EVM Toolkit language support for Visual Studio Code☆18Sep 10, 2022Updated 4 years ago
- Researching RANDAO manipulation in Ethereum mainnet.☆11Jul 7, 2025Updated last year
- Shield your initial Uniswap liquidity from malicious actors☆16Nov 10, 2021Updated 4 years ago