obscuren / mutanLinks
Compiler & Language definition for the Ethereum project
☆61Updated 10 years ago
Alternatives and similar repositories for mutan
Users that are interested in mutan are comparing it to the libraries listed below
Sorting:
- Elliptic Curve Implementation in Solidity☆81Updated 7 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 6 years ago
- Golang implementation and extension of the Minimum Viable Plasma specification☆70Updated 3 years ago
- Set of functions for golang verification of zkSNARKs☆31Updated 6 years ago
- A javascript library for building state-channel and Plasma applications☆18Updated 6 years ago
- Zero-knowledge proof verification contract in Solidity! #zkpontheblockchain☆53Updated 6 years ago
- Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)☆28Updated 6 years ago
- Pure-solidity implementation of the SHA1 hash function.☆43Updated 2 years ago
- ERC721 in Vyper☆44Updated 6 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆28Updated 6 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆54Updated last year
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago
- LazyLedger academic prototype☆50Updated 5 years ago
- Proof of Concept of Ethereum Serenity Peer-to-Peer Layer on libp2p PubSub System☆40Updated 6 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- 311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine☆60Updated 2 years ago
- ☆62Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆46Updated 3 years ago
- Compile Solidity source code and verify its bytecode matches the blockchain☆89Updated last year
- Research documents related to our implementation☆43Updated 6 years ago
- Simple bonding curve contract based on bancor formula☆81Updated 6 years ago
- 0x Protocol v2 Audit☆26Updated 5 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- Generate & verify Merkle-Patricia-proofs for Ethereum☆110Updated 2 years ago
- A DNSSEC oracle for Ethereum☆62Updated 2 years ago
- Cross-chain relays :)☆55Updated 2 years ago
- FVyper: A collection of useful Vyper contracts developed with formal methods☆56Updated 4 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆103Updated 2 years ago
- ☆39Updated 4 years ago
- A solidity library for performing arithmetic.☆16Updated 6 years ago