NilFoundation / evm-placeholder-verification
Placeholder proof system verifier for EVM
☆11Updated last month
Related projects ⓘ
Alternatives and complementary repositories for evm-placeholder-verification
- Offchain Voting with Onchain Trustless Execution https://github.com/aragonzkresearch/research/blob/main/ovote/ovote.pdf☆10Updated last year
- utilities for more granular and realistic gas measuring in forge tests☆29Updated 9 months ago
- Starport is a kernel for building lending protocols☆24Updated 5 months ago
- ☆28Updated last year
- Solidity Merkle Mountain Range library☆11Updated 3 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- ☆10Updated 9 months ago
- an introduction to noir, with simple examples☆42Updated 10 months ago
- Efficient, decentralised and MEV resistant mechanism to convert fee assets to a single token.☆21Updated 3 months ago
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated 6 months ago
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated last year
- A library to assist with handling sparse arrays in storage.☆26Updated last year
- Introduction to core development via CTF challenges☆39Updated 2 years ago
- rough draft of cloneable univ3 swap receiver for openeing, closing, and editing single pair leveraged positions for multiple fuse pools☆28Updated 2 years ago
- ☆11Updated 2 years ago
- BigInt library for Aztec's noir language☆31Updated 8 months ago
- Curve style voting escrow (ve) Uniswap v4 hook contract☆23Updated last year
- ☆27Updated 2 years ago
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- Axiom smart contracts☆27Updated last year
- ☆34Updated 2 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- RICKS in cairo. Cool NFT fractionalization/reconstitution mechanism☆27Updated last year
- A simple contract to accurately measure gas consumption of contract calls☆18Updated 6 months ago
- Beating OpenZeppelin's Ethernaut in Pure Assembly. Masochists Only.☆24Updated last year
- ☆17Updated 3 months ago
- Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.☆28Updated last year
- ☆50Updated last year
- ☆39Updated 2 years ago