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
- Implementation of the Funds Distribution Standard ERC-2222☆33Updated 2 years ago
- A document describing purity detection in EVM opcode☆16Updated 3 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 3 years ago
- ☆23Updated 4 years ago
- Solidity error logging☆23Updated 4 years ago
- A library for working with mutable byte buffers in Solidity.☆30Updated last year
- AZTEC protocol specification☆30Updated 5 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- EIP1559 Analysis☆22Updated 5 years ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games☆39Updated 2 years ago
- Dai Automated Clearing House☆52Updated 5 years ago
- Merge Mock - testing tool for the Ethereum Merge☆41Updated 3 years ago
- Shows how optimistic geth modifies transactions that get submitted to it by converting them to OVM Messages and then calls to the OVM Exe…☆27Updated 4 years ago
- Emergency Shutdown Module☆17Updated 2 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated 2 years ago
- Generalised ERC721 Auction House☆12Updated 3 years ago
- A simple and sufficient ERC721 implementation☆21Updated 3 years ago
- CLI & Library for interacting with https://fractional.art/☆21Updated 4 years ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- Off-chain services for the Gnosis Protocol v1.☆33Updated 3 years ago
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Updated 4 years ago
- ☆14Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆15Updated 4 years ago
- A gas free offering of common Dai and Chai operations☆32Updated 2 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 3 years ago
- [Optimism] Client-Side Services☆19Updated 4 years ago
- Know if a call is from an EOA no matter what☆33Updated 4 years ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- ethereum zk coin-mixer☆27Updated 2 years ago