project-everest / ethereum-star
F* proofs of Ethereum
☆10Updated 3 years ago
Alternatives and similar repositories for ethereum-star:
Users that are interested in ethereum-star are comparing it to the libraries listed below
- ☆8Updated 3 years ago
- ☆10Updated 2 years ago
- Reasarch of https://github.com/paritytech/parity-bridge/☆8Updated 6 years ago
- ☆10Updated 6 years ago
- Helpers smart contracts/examples for Aave v3 asset listings☆10Updated last year
- ☆10Updated 2 years ago
- Hegic Keep3r☆10Updated 11 months ago
- ☆10Updated 3 years ago
- An extendable smart contract standard for digital security issuance and automated regulatory compliance.☆7Updated 6 years ago
- Smart Contracts for general purpose use made with <3 by the EthereansOS team☆11Updated 10 months ago
- ☆10Updated 2 years ago
- convenience script to use nodejs/npm insteald of brownie for yearn-protocol☆10Updated 3 years ago
- ☆11Updated 3 years ago
- BLS proof of concept for PoS in Layer 2☆10Updated 5 years ago
- Decentralised Escrow system☆10Updated 2 years ago
- ☆10Updated 4 years ago
- Contains source code for the MarketMake workshop☆9Updated 4 years ago
- A fully on chain decentralised exchange for ethereum☆10Updated 6 years ago
- ☆7Updated 2 years ago
- ☆11Updated 3 years ago
- ☆8Updated 4 years ago
- Solidity functions for traversing an ASN1-encoded data structure☆10Updated 2 years ago
- Convergent Curve Market Makers for Aggregating Flash Loans and Delegated Credit☆10Updated 4 years ago
- Solidity SDK for Notional Finance☆11Updated 2 years ago
- ☆11Updated 3 years ago
- Smart Contracts that define the Weavr Protocol, used by WeavrDAO☆11Updated last year
- Verify DomainKeys Identified Mail signatures☆10Updated 2 years ago
- exotic NFT and ERC20 covered call vaults☆10Updated 2 years ago
- ☆7Updated 2 years ago
- option selling strategies on Lyra finance☆8Updated 2 years ago