BerkeleyBlockchain / stablesimsLinks
StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incentive parameters for Liquidations 2.0.
☆56Updated 3 years ago
Alternatives and similar repositories for stablesims
Users that are interested in stablesims are comparing it to the libraries listed below
Sorting:
- Agent-based simulation environment for PoS Ethereum☆55Updated 2 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 6 years ago
- ☆40Updated 5 years ago
- ☆46Updated 4 years ago
- ☆54Updated 3 years ago
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30Updated 3 years ago
- List of Squeeth Resources and Threads☆34Updated 3 years ago
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆39Updated 3 years ago
- ☆58Updated 3 years ago
- proof first, evm specific smt solver☆69Updated 3 years ago
- Book showing how to interact with Ethereum from Rust☆43Updated 4 years ago
- Overview of Blockspace its demand, pricing, and trading☆48Updated 3 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- Maximizing liquidity utilization while maintaining 50/50 inventory ratio☆27Updated 3 years ago
- Token-based Exchange☆85Updated last year
- ☆39Updated 4 years ago
- Jupyter kernel for Cairo smart contract language☆32Updated 3 years ago
- Smart Contracts for July 2022 Demo☆49Updated 3 years ago
- Library of zkSNARKS circuits written in the Circom language.☆50Updated 4 years ago
- A flashloan module for Gnosis Safe.☆45Updated 4 years ago
- Introduction to core development via CTF challenges☆41Updated 3 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago
- Repo for Tracer Pool Swaps Protocol☆28Updated 2 years ago
- ERC20 token swaps via gradual dutch auctions☆44Updated 3 years ago
- ☆37Updated 3 years ago
- Gas efficient routers for L2 applications☆115Updated 3 years ago
- Minimal ERC20-compatible bytecode☆72Updated 4 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- On chain rock paper scissors game using zero knowledge proofs for hiding plays☆68Updated 3 years ago
- Collection of reports/articles/publications/etc of mine.☆50Updated 3 years ago