fosgate29 / financialcircuitLinks
Writing zero-knowledge circuits using gnark to expand the existing library – Focus on Financial Circuit Development and Approach
☆14Updated last year
Alternatives and similar repositories for financialcircuit
Users that are interested in financialcircuit are comparing it to the libraries listed below
Sorting:
- Extension for zk succinct non-interactive ownership proofs.☆39Updated 2 years ago
- Smart contract implementing fixed point math operations using structs for type checking.☆29Updated 4 years ago
- A tool to test and deploy ethereum smart contract☆29Updated this week
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆37Updated 2 years ago
- Yield Protocol v1☆44Updated last year
- A kitchen sink example of how to build private dApps using AZTEC☆35Updated 2 years ago
- Simple Restricted Funds Distribution Token (ERC-1404 + ERC-2222)☆14Updated 5 years ago
- Primitive protocol solidity contracts.☆43Updated 2 years ago
- plugin for hardhat that push hardhat-deploy's deployments to tenderly☆14Updated 7 months ago
- Aesthetically Pleasing Ethereum Statements☆51Updated 3 years ago
- Solidity error logging☆23Updated 3 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- ☆32Updated 2 years ago
- It provides helper functions to test the maple-core contracts.☆24Updated 2 years ago
- Update or revert to a specific DappTools commit with ease.☆37Updated 3 years ago
- Instant web3 publications for writers, DAOs, and any Ethereum-based account.☆29Updated last year
- Know if a call is from an EOA no matter what☆35Updated 4 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- You Need A Transaction Manager (for Ethereum)☆22Updated 2 years ago
- Verifying merkle multiproofs in solidity example (unaudited)☆44Updated 3 years ago
- Non-custodial payment vault driven by Merkle Trees☆39Updated last year
- formal verification of multicollateral dai in the K framework☆15Updated 3 years ago
- Memory access with runtime typechecking in Solidity☆74Updated 2 years ago
- ☆52Updated 4 years ago
- Eth2 CLI debugging tool☆38Updated 4 months ago
- Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.☆42Updated 2 years ago
- AAVE token implementation☆24Updated 4 years ago
- ☆30Updated 3 years ago
- Templating for meta vaults☆23Updated 3 years ago
- Testing Ethereum reorgs in a private geth network☆30Updated 2 years ago