BerkeleyBlockchain / stablesims
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.
☆53Updated 3 years ago
Alternatives and similar repositories for stablesims:
Users that are interested in stablesims are comparing it to the libraries listed below
- ☆46Updated 3 years ago
- ☆48Updated 3 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- ☆75Updated 2 years ago
- Introduction to core development via CTF challenges☆40Updated 2 years ago
- ☆34Updated 2 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆35Updated 5 years ago
- CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing☆47Updated 3 years ago
- Overview of Blockspace its demand, pricing, and trading☆49Updated 2 years ago
- Agent-based simulation environment for PoS Ethereum☆51Updated last year
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- ERC20 token swaps via gradual dutch auctions☆44Updated 2 years ago
- A static verifer for Ethereum Smart Contracts written in Vyper☆50Updated last year
- Forkable, Minimal Template for Starknet Projects.☆44Updated 3 years ago
- Book showing how to interact with Ethereum from Rust☆40Updated 3 years ago
- Theta vaults leveraging Primtive's RMM-01 modeling the payoff function of a covered call.☆38Updated 2 years ago
- ☆56Updated 2 years ago
- RMM-01 Simulations☆50Updated last year
- A high-level javascript transpiler for weiroll☆53Updated 2 years ago
- A flashloan module for Gnosis Safe.☆46Updated 3 years ago
- To be deprecated in favor of https://github.com/flashbots/builder☆45Updated last year
- Muffin smart contracts☆45Updated 2 years ago
- Backtesting and forward-testing (via Monte Carlo sims) for DeFi strategies.☆25Updated 11 months ago
- ☆44Updated 2 years ago
- On chain rock paper scissors game using zero knowledge proofs for hiding plays☆68Updated 2 years ago
- List of Squeeth Resources and Threads☆33Updated 2 years ago
- proof first, evm specific smt solver☆69Updated 2 years ago
- MEV-Boost Auction Simulation Framework☆22Updated 7 months ago
- ☆42Updated 2 years ago
- Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.☆30Updated last year