cifunibas / decentralized-insuranceLinks
A fully decentralized and smart contract-based insurance protocol.
☆25Updated 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:
- ☆13Updated 4 years ago
- Plasma Cash, written in Vyper☆11Updated 5 years ago
- ☆21Updated 4 years ago
- EIP1559 Analysis☆22Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆15Updated 3 years ago
- A document describing purity detection in EVM opcode☆16Updated 3 years ago
- Implementation of the Funds Distribution Standard ERC-2222☆33Updated 2 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆29Updated 5 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- DEPRECATED☆21Updated 3 years ago
- Smart contracts to retrieve oracle data from several sources☆10Updated 4 years ago
- Fully collateralised vanilla and bounded (capped call and floored put) crypto options☆16Updated 4 years ago
- A tool to monitor the Ethereum blockchain for censorship by block producers☆9Updated 2 years ago
- Deployed contracts, helper contract, js and ts bindings☆12Updated 4 years ago
- A tool to test and deploy ethereum smart contract☆29Updated 3 weeks ago
- A repository for experimenting with simulating recursive counterfactual states on an EVM blockchain.☆9Updated 6 years ago
- Huff implementation of the BabyJubJub curve☆13Updated 5 years ago
- ☆12Updated 3 years ago
- Token for accruing protocol revenues☆16Updated 3 years ago
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Updated 3 years ago
- [Optimism] Client-Side Services☆19Updated 4 years ago
- ☆23Updated 3 years ago
- ☆12Updated 3 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- Elliptic Curve Implementation in Solidity☆24Updated last year
- Primitive Contracts V1☆12Updated 2 years ago
- An EVM interpreter (wip)☆12Updated 3 years ago
- ☆20Updated 4 years ago
- a rust SDK for the gelato relay, using ethers-rs☆31Updated 2 years ago
- A twitter bot that reports slashing events on the eth2 network (with a special twist)☆12Updated 3 years ago