AztecProtocol / weierstrudel
Huff implementation of the bn254 curve, for Ethereum smart contracts
☆112Updated 5 years ago
Alternatives and similar repositories for weierstrudel:
Users that are interested in weierstrudel are comparing it to the libraries listed below
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago
- An opinionated formatting and linting tool for foundry projects☆81Updated 10 months ago
- A data structures library that does memory management for you☆221Updated 2 years ago
- Structured, dependable legos for Starknet development.☆132Updated 2 years ago
- Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.☆119Updated last year
- evm inception: the evm inside the evm via yul and solidity☆227Updated 2 years ago
- ☆92Updated last year
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- Tools for Yul.☆138Updated 2 years ago
- A template for noir.☆142Updated last year
- Simulate cross-chain protocols txs, easily.☆147Updated this week
- ☆90Updated 4 years ago
- readable evm state diffs, enumerate full contract storage☆136Updated last year
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆177Updated last year
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆120Updated 11 months ago
- Library for checked-in, targeted gas snapshots with forge☆97Updated 6 months ago
- To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …☆60Updated 2 years ago
- Paper: Data Representation in Solidity☆60Updated last year
- A Foundry plugin that enables you to plot charts within solidity.☆158Updated last year
- ☆116Updated last year
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- A gas optimized, 100% on-chain chess engine and art project where each move is minted as an NFT☆161Updated 3 years ago
- Cross chain call library for Solidity☆81Updated 2 years ago
- build merkle trees on-chain☆121Updated last year
- ☆77Updated 2 years ago
- A Foundry library for deploying and managing upgradeable smart contracts☆96Updated last year
- Basic Noir private proof of membership☆89Updated last month
- ☆124Updated last month
- Dotenv parser for solidity & foundry☆157Updated 2 years ago