cifunibas / decentralized-insuranceLinks
A fully decentralized and smart contract-based insurance protocol.
☆28Updated 2 years ago
Alternatives and similar repositories for decentralized-insurance
Users that are interested in decentralized-insurance are comparing it to the libraries listed below
Sorting:
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 3 years ago
- Implementation of the Funds Distribution Standard ERC-2222☆33Updated 2 years ago
- ☆23Updated 4 years ago
- A library for working with mutable byte buffers in Solidity.☆29Updated last year
- A document describing purity detection in EVM opcode☆16Updated 3 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated 2 years ago
- EIP1559 Analysis☆22Updated 5 years ago
- CLI & Library for interacting with https://fractional.art/☆21Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆15Updated 4 years ago
- ☆14Updated 4 years ago
- Solidity error logging☆23Updated 4 years ago
- Dai Automated Clearing House☆51Updated 5 years ago
- 311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine☆60Updated 2 years ago
- CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing☆46Updated 4 years ago
- 😵💫 A Recurrent Neural Network (RNN) hallucinating solidity source code.☆42Updated 4 years ago
- Merge Mock - testing tool for the Ethereum Merge☆41Updated 3 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 4 years ago
- Verifying merkle multiproofs in solidity example (unaudited)☆44Updated 3 years ago
- Yield Protocol v1☆45Updated 2 years ago
- 🎛 Core smart contracts of Uniswap V2, adapted to run on the Optimistic VM (OVM) while maintaining compatibility with the Ethereum VM (EV…☆25Updated 4 years ago
- Tricking frontrunners into doing good☆42Updated 2 years ago
- LearnChannels.org - open source information resource on state channels☆31Updated 7 years ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games☆39Updated 2 years ago
- DEPRECATED☆21Updated 4 years ago
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Updated 4 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 3 years ago
- Smart contract implementing fixed point math operations using structs for type checking.☆31Updated 5 years ago
- Notional Finance Smart Contracts☆44Updated 4 years ago
- A simple and sufficient ERC721 implementation☆21Updated 3 years ago