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
- Bamboo: a morphing smart contract language☆37Updated 7 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 4 years ago
- ☆85Updated 5 years ago
- Collection of presentations given by Sigma Prime☆19Updated 3 years 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
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆22Updated 6 years ago
- home for experimental vaults☆24Updated 3 years ago
- EVM performance tests for a range of clients☆24Updated 5 years ago
- Maker Keeper Framework: Keeper to bite undercollateralized cups.☆50Updated 2 years ago
- A CryptoKitties powered Brainfuck interpreter on Ethereum☆32Updated 7 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 3 years ago
- Agent-based simulation environment for PoS Ethereum☆55Updated 2 years ago
- ☆81Updated 5 years ago
- An IDE for building Code Tutorials☆43Updated 3 years ago
- ☆23Updated 5 years ago
- A fully decentralized and smart contract-based insurance protocol.☆28Updated 2 years ago
- Log function calls as events☆17Updated 4 years ago
- ☆23Updated 3 years ago
- ☆21Updated 5 years ago
- price feed, with expiration and medianizer poke☆33Updated 4 years ago
- Collection of research papers written within Gnosis☆91Updated 4 years ago
- A Cosmos SDK module to add payment channels to any blockchain built using the SDK.☆14Updated 6 years ago
- library for interacting and parsing logs for the starkware smart contracts☆24Updated last year
- Code for Dynamic Pricing for Non-fungible Resources☆17Updated 3 years ago
- zk-rollup☆22Updated 2 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated 2 years ago
- A simple and sufficient ERC721 implementation☆21Updated 3 years ago
- 😈 Eth2 Network Agent 😈☆31Updated 5 years ago
- Cross asset swaps using Curve and Synthetix☆30Updated 4 years ago