dapp-studies / blockchain-reading-groupLinks
Papers relating to decentralized applications.
☆16Updated 8 years ago
Alternatives and similar repositories for blockchain-reading-group
Users that are interested in blockchain-reading-group are comparing it to the libraries listed below
Sorting:
- ☆23Updated 4 years ago
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆13Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆46Updated 3 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated 2 years ago
- ☆14Updated 3 years ago
- keep yearn vaults tightly invested while maintaining the withdrawal buffer☆12Updated 4 years ago
- OVM-safe version of OpenZepplin's SafeERC20.sol☆11Updated 4 years ago
- ☆12Updated 4 years ago
- Opyn Grant Proposals☆11Updated 3 years ago
- A testing tool that broadcasts batches of transactions and tests opcodes☆12Updated 2 years ago
- ☆17Updated last year
- Fully collateralised vanilla and bounded (capped call and floored put) crypto options☆16Updated 4 years ago
- Book about the ideological context of cryptocurrency. 'Before Bitcoin' written by Pet3rpan.☆25Updated 6 years ago
- Yearn Vault wrapper for Lido St. Ether☆27Updated 4 years ago
- Elliptic Curve Implementation in Solidity☆24Updated last year
- Tool for overriding Ethereum transactions stuck in the pool☆16Updated 3 years ago
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆22Updated 6 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- Typescript library for generating solidity and javascript code to handle tightly packed ABI structures.☆10Updated 5 years ago
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Updated 3 years ago
- ☆21Updated 4 years ago
- ☆23Updated 4 years ago
- zk-rollup☆22Updated 2 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Updated 6 years ago
- Bamboo: a morphing smart contract language☆38Updated 6 years ago
- ☆13Updated last month
- ☆23Updated 3 years ago
- rapid prototyping library for SegWit and Ethereum txns on ledger hardware wallets 🎈🎈☆10Updated 2 years ago
- ☆16Updated 4 years ago
- Leader election support in Optimism. Optimism is Ethereum, scaled.☆10Updated 10 months ago