dapp-studies / blockchain-reading-groupLinks
Papers relating to decentralized applications.
☆15Updated 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
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Updated 5 months ago
- formal verification of multicollateral dai in the K framework☆44Updated 4 years ago
- ☆86Updated 5 years ago
- Agent-based simulation environment for PoS Ethereum☆55Updated 3 years ago
- ☆83Updated 5 years ago
- Bamboo: a morphing smart contract language☆37Updated 7 years ago
- zk-rollup☆22Updated 2 years ago
- Superset of Yul☆17Updated 6 months ago
- Welcome to the Maker Operational Manual. This set of documents intends to acquaint MKR Holders with the voting process and to serve as re…☆19Updated 2 years ago
- ZK-SNARK snarkjs and circom exercises☆56Updated 6 years ago
- Code for Dynamic Pricing for Non-fungible Resources☆17Updated 3 years ago
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆22Updated 6 years ago
- Transaction markets in Python☆60Updated 3 years ago
- Codex durability engine research☆36Updated last week
- Maker Keeper Framework: Keeper to bite undercollateralized cups.☆50Updated 2 years ago
- Ethereum transaction arrival and inclusion time data extraction and reporting and MEV type classification☆16Updated 4 years ago
- ☆21Updated 5 years ago
- 🧾 InterRep Solidity smart contracts.☆29Updated 2 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated 2 years ago
- Cross asset swaps using Curve and Synthetix☆30Updated 4 years ago
- Collection of presentations given by Sigma Prime☆19Updated 3 years ago
- A spot to add introductory resources for people getting into the space☆27Updated 4 years ago
- home for experimental vaults☆23Updated 3 years ago
- Implementation of the Funds Distribution Standard ERC-2222☆33Updated 3 years ago
- Design, test and validate complex systems through simulation in Python☆69Updated 4 years ago
- The Kollateral protocol and typescript library☆53Updated 3 years ago
- Small Rust script that cracked Yearn's v2 site password from a hashed copy☆14Updated 5 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 3 years ago
- EVM performance tests for a range of clients☆24Updated 6 years ago