fosgate29 / financialcircuit
Writing zero-knowledge circuits using gnark to expand the existing library – Focus on Financial Circuit Development and Approach
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for financialcircuit
- Technical Specification of Layer 2 Blockchain Scalability Solutions for Ethereum Virtual Machine Compatible public Blockchains☆24Updated 3 weeks ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated last year
- DKG for BLS threshold signature scheme on the EVM using solidity☆32Updated 5 years ago
- A tool to test and deploy ethereum smart contract☆26Updated 2 months ago
- Solidity error logging☆23Updated 3 years ago
- A Solidity implementation of a VDF verifier contract☆16Updated last year
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- Solidity implementation of the baby jubjub curve☆22Updated 6 months ago
- Everything you need to create your first account abstraction contract in one place☆28Updated 4 years ago
- Proof of concept for a delegatecall proxy upgrade pattern without storage usage☆55Updated 3 months ago
- plugin for hardhat that push hardhat-deploy's deployments to tenderly☆14Updated 2 years ago
- Hardhat task collection for the Safe contracts☆46Updated 7 months ago
- ☆86Updated 2 years ago
- Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit☆17Updated 4 years ago
- ☆29Updated 2 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆69Updated last year
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆17Updated 3 years ago
- ☆54Updated last year
- Hermez documentation☆9Updated 2 years ago
- Tricking frontrunners into doing good☆42Updated last year
- Anonymous Proof of Ethereum Address Ownership☆42Updated last month
- Memory access with runtime typechecking in Solidity☆71Updated last year
- ☆81Updated last year
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- ☆20Updated 2 years ago
- A library for working with mutable byte buffers in Solidity.☆28Updated 8 months ago
- A publicly-modifiable registry of ilks in the Dai Stablecoin System.☆22Updated last year
- Simple module to control a Safe via crosschain calls with Hashi☆28Updated 5 months ago
- A generator of protobuf encoders compliant with ADR-27 (This is a fork of https://github.com/nutsfinance/solidity-protobuf)☆20Updated 9 months ago