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
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆20Updated 5 years ago
- Implementation of the Funds Distribution Standard ERC-2222☆33Updated 2 years ago
- Solidity error logging☆23Updated 4 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 3 years ago
- AZTEC protocol specification☆31Updated 5 years ago
- LearnChannels.org - open source information resource on state channels☆31Updated 7 years ago
- Elliptic Curve Implementation in Solidity☆26Updated last year
- Everything you need to create your first account abstraction contract in one place☆29Updated 5 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
- Know if a call is from an EOA no matter what☆33Updated 4 years ago
- A document describing purity detection in EVM opcode☆16Updated 3 years ago
- Off-chain services for the Gnosis Protocol v1.☆32Updated 3 years ago
- An EVM interpreter (wip)☆12Updated 4 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 4 years ago
- ☆23Updated 4 years ago
- A standard point from which crypto projects may derive their responsible disclosure policy.☆18Updated 3 years ago
- DEPRECATED☆21Updated 4 years ago
- CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing☆46Updated 4 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated 2 years ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- A simple and sufficient ERC721 implementation☆21Updated 3 years ago
- EVM performance tests for a range of clients☆24Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆44Updated 4 years ago
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Updated 4 years ago
- Update or revert to a specific DappTools commit with ease.☆37Updated 4 years ago
- Generalised ERC721 Auction House☆12Updated 4 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
- Merge Mock - testing tool for the Ethereum Merge☆41Updated 3 years ago
- Dai Automated Clearing House☆51Updated 5 years ago