counterfactual / paper
π Counterfactual: Generalized State Channels Paper
β57Updated 6 years ago
Alternatives and similar repositories for paper:
Users that are interested in paper are comparing it to the libraries listed below
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchangeβ46Updated 6 years ago
- Plasma Cash: Towards Improved Plasma Constructions.β50Updated 6 years ago
- [DEPRECATED] On-chain interpreter for WebAssembly written in Solidityβ67Updated 4 years ago
- A zkSNARK tutorial and development environmentβ16Updated 6 years ago
- Automatic market maker with batched buy & sell ordersβ32Updated 2 years ago
- β61Updated 3 years ago
- π³π±βοΈDutchX core smart contractsβ45Updated 5 years ago
- Collection of research papers written within Gnosisβ92Updated 3 years ago
- The Grid+ Agent client used to connect to our networkβ33Updated 6 years ago
- Template for implementing Plasma child chains with Truebitβ50Updated 7 years ago
- Golang implementation and extension of the Minimum Viable Plasma specificationβ70Updated 3 years ago
- Research documents related to our implementationβ43Updated 6 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contestβ51Updated 6 years ago
- A force-move protocol implementationβ55Updated 2 years ago
- Continuous Splitting Token Auctionβ21Updated 3 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)β78Updated 6 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructorβ22Updated 6 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.β26Updated 5 years ago
- Benchmarking data for EVM ops and precompilesβ22Updated 2 years ago
- Merkle tree optimized for lists of sequentially appended data and its proofsβ40Updated 2 years ago
- formal verification of multicollateral dai in the K frameworkβ45Updated 3 years ago
- A program that annotates a vm trace with dataflow informationβ35Updated 2 years ago
- An educational "toy" implementation of fully abstracted state channelsβ49Updated 8 years ago
- Markdown documentation generator for Solidityβ34Updated 3 years ago
- A proof-of-concept implementation of Submarine Sends for Ethereumβ29Updated 6 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verificationβ44Updated 4 years ago
- A one-click deploy Plasma chainβ33Updated 5 years ago
- Classic source for Truebit documentationβ59Updated 3 years ago
- [DEPRECATED] Incentive layer contracts and deployment information.β31Updated 6 years ago
- Smart contracts for trustless bridgesβ75Updated 4 years ago