spalladino / erc20-verifier
Online ERC20 verifier based on tinchoabbate's slither-scripts
☆13Updated 5 years ago
Alternatives and similar repositories for erc20-verifier:
Users that are interested in erc20-verifier are comparing it to the libraries listed below
- Update or revert to a specific DappTools commit with ease.☆37Updated 3 years ago
- Plasma Cash, written in Vyper☆11Updated 5 years ago
- Fast and lightweight build tool for Solidity.☆23Updated 2 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆13Updated 2 years ago
- 📑 Documentation generator for Solidity☆25Updated 3 years ago
- A collection of smart contracts to save gas on Ethereum to deploy other contracts leveraging CHI tokens.☆19Updated 4 years ago
- ☆22Updated 2 years ago
- A data structure to perform weighted sortition in Solidity.☆21Updated last year
- Maker Governance Rewards.☆10Updated 4 years ago
- Primitive Contracts V1☆12Updated 2 years ago
- Typescript library for generating solidity and javascript code to handle tightly packed ABI structures.☆10Updated 4 years ago
- A simple and sufficient ERC721 implementation☆21Updated 2 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- A protocol for splitting ERC20 tokens into their yield, governance and capital components☆21Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆14Updated 3 years ago
- An Alfred workflow with Ethereum utilities☆12Updated 4 years ago
- ☆13Updated 4 years ago
- ☆16Updated 2 years ago
- Simple m-of-n multisig proxy written in handcrafted EVM bytcode☆21Updated 7 years ago
- Yield Protocol v1☆44Updated last year
- A Solidity implementation of a VDF verifier contract☆16Updated last year
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 5 years ago
- ☆14Updated 5 years ago
- Refactor your solidity 0.4.X contracts to work with solidity 0.5.X☆25Updated 6 years ago
- Single-Collateral Dai CDP Portal☆20Updated 2 years ago
- An agent-based model of decentralized dispute resolution oracle.☆12Updated 6 years ago
- ☆10Updated 4 years ago
- Peg Stability Module for Maker☆11Updated 3 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆29Updated 4 years ago
- ETH->ERC20 with extra opinions☆27Updated 3 years ago