DZGoldman / DeorgLinks
☆23Updated 4 years ago
Alternatives and similar repositories for Deorg
Users that are interested in Deorg are comparing it to the libraries listed below
Sorting:
- CLI & Library for interacting with https://fractional.art/☆21Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆44Updated 4 years ago
- Off-chain services for the Gnosis Protocol v1.☆33Updated 3 years ago
- 🎛 Core smart contracts of Uniswap V2, adapted to run on the Optimistic VM (OVM) while maintaining compatibility with the Ethereum VM (EV…☆26Updated 4 years ago
- The place to see all MakerDao Auctions.☆26Updated last year
- price feed, with expiration and medianizer poke☆33Updated 4 years ago
- Implementation of the Funds Distribution Standard ERC-2222☆33Updated 2 years ago
- CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing☆47Updated 4 years ago
- ☆10Updated 4 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 3 years ago
- ☆34Updated 5 years ago
- DEPRECATED☆21Updated 3 years ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- EVM performance tests for a range of clients☆24Updated 5 years ago
- ☆21Updated 4 years ago
- Fully collateralised vanilla and bounded (capped call and floored put) crypto options☆16Updated 5 years ago
- A protocol for splitting ERC20 tokens into their yield, governance and capital components☆21Updated 2 years ago
- data and charts for Ethereum state analysis☆46Updated 5 years ago
- Merge Mock - testing tool for the Ethereum Merge☆41Updated 3 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- ☆23Updated 4 years ago
- LazyLedger academic prototype☆50Updated 5 years ago
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆27Updated last year
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆20Updated 5 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated 2 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated 2 years ago
- ☆79Updated 5 years ago
- A simple and sufficient ERC721 implementation☆21Updated 3 years ago
- Yield Protocol v1☆45Updated 2 years ago
- Docker setup with Eth1 Shard demo☆25Updated 5 years ago