formal verification of multicollateral dai in the K framework
☆15Sep 10, 2021Updated 4 years ago
Alternatives and similar repositories for k-dss
Users that are interested in k-dss are comparing it to the libraries listed below
Sorting:
- Medianizer 2☆16Mar 8, 2023Updated 2 years ago
- ☆24Mar 8, 2023Updated 2 years ago
- ☆10Jul 29, 2025Updated 7 months ago
- ☆12Sep 1, 2021Updated 4 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Oct 25, 2022Updated 3 years ago
- Yield-Farming contracts of Sun.☆10Updated this week
- ☆49May 11, 2023Updated 2 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Apr 20, 2024Updated last year
- Vyper contracts used in the Sun Governance DAO.☆13Mar 7, 2023Updated 2 years ago
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Aug 8, 2025Updated 6 months ago
- Slow burner for protocol assets.☆33Mar 21, 2023Updated 2 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- ☆20Dec 12, 2025Updated 2 months ago
- Token for accruing protocol revenues☆16May 27, 2022Updated 3 years ago
- A publicly-modifiable registry of ilks in the Dai Stablecoin System.☆22Mar 7, 2023Updated 2 years ago
- Protocol Engineering Checklists☆27Updated this week
- https://chai.money - A ui for your Chai☆23May 27, 2023Updated 2 years ago
- Update or revert to a specific Foundry branch with ease.☆44Jan 17, 2022Updated 4 years ago
- Smart contracts for Fuse by Rari Capital.☆27May 10, 2022Updated 3 years ago
- ☆23Sep 29, 2022Updated 3 years ago
- Contracts and artifacts for the Alchemix V2 system.☆27Aug 23, 2022Updated 3 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆29Mar 20, 2020Updated 5 years ago
- The place to see all MakerDao Auctions.☆26Feb 17, 2024Updated 2 years ago
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38May 11, 2023Updated 2 years ago
- ☆41Nov 21, 2022Updated 3 years ago
- Experimental tool to ease the review of smart contracts upgrades☆79Mar 25, 2024Updated last year
- Set of smart contracts and bash scripts to deploy Multi collateral DAI☆70Mar 15, 2023Updated 2 years ago
- Dai Stablecoin System☆818Oct 1, 2023Updated 2 years ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆78Aug 2, 2025Updated 7 months ago
- 1-Click derivatives strategies☆37Nov 29, 2023Updated 2 years ago
- ☆48May 8, 2021Updated 4 years ago
- Core Contracts Allo Protocol☆34Jul 17, 2024Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Jul 6, 2022Updated 3 years ago
- ☆38Feb 24, 2026Updated last week
- CLI for Managing Smart Contracts☆14Jan 22, 2026Updated last month
- Backend repo for the TXT2TXN Circle Research x Berkeley project on AI and Intents.☆12Aug 8, 2024Updated last year
- Blockchain Reader Library☆10Jan 20, 2024Updated 2 years ago
- Unidirectional payment distribution channel with monotonically increasing balances (now obsolete)☆38May 9, 2021Updated 4 years ago
- Validation of OpenShift Pipeline releases☆12Updated this week