WIP PoC verification system for the Livepeer protocol using Truebit
☆16Sep 11, 2018Updated 7 years ago
Alternatives and similar repositories for verification-truebit
Users that are interested in verification-truebit are comparing it to the libraries listed below
Sorting:
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Oct 25, 2020Updated 5 years ago
- [DEPRECATED] Interactive client☆81Nov 8, 2019Updated 6 years ago
- Go module for https://github.com/celo-org/bls-zexe/☆13Feb 2, 2024Updated 2 years ago
- Template for implementing Plasma child chains with Truebit☆50Jan 23, 2018Updated 8 years ago
- [DEPRECATED] On-chain interpreter for WebAssembly written in Solidity☆66Sep 4, 2020Updated 5 years ago
- [Optimism] Layer 2 Verifier☆28Jan 21, 2021Updated 5 years ago
- EVM interpreter compatible with the evm2wasm interface☆46Feb 19, 2022Updated 4 years ago
- A generalized state channel implementation for 1 on 1 communication☆18Mar 7, 2019Updated 7 years ago
- [DEPRECATED] Truebit Verification for Scrypt☆46Mar 8, 2018Updated 8 years ago
- Tiny RPC module to request methods on an ETH node☆24Jan 19, 2021Updated 5 years ago
- An on-chain, permission-based state machine builder.☆24Feb 12, 2025Updated last year
- An EVM code verification framework in Coq☆44Oct 11, 2016Updated 9 years ago
- Solidity implementation of partial merkle tree for a light weight side chain execution verification☆12Apr 9, 2019Updated 6 years ago
- Render React form components and sections from an OpenLaw template.☆17Jan 1, 2023Updated 3 years ago
- TypeScript utilities for using buffer-layout with Solana programs☆18Jan 8, 2025Updated last year
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆23May 18, 2019Updated 6 years ago
- A crowdsale mechanism optimizing price discovery information for buyers☆93Feb 24, 2023Updated 3 years ago
- Smart contracts for trustless bridges☆75Mar 29, 2020Updated 5 years ago
- LR(1) Parser for the Ambients Protocol☆12Jun 17, 2022Updated 3 years ago
- Transmute☆58Aug 27, 2024Updated last year
- ☁ A JavaScript function to get user's location based on Cloudflare /cdn-cgi/trace☆13Feb 17, 2025Updated last year
- Walkthroughs for the modules in the Hypercore Protocol stack☆12Mar 17, 2022Updated 4 years ago
- An idiomatic Clojure interface to Apache CouchDB☆10Oct 27, 2023Updated 2 years ago
- 📫 Offline email validation - JS or TS☆19Oct 6, 2023Updated 2 years ago
- Creates a ReadableStream but keep watching for changes in the range defined☆15Jun 21, 2022Updated 3 years ago
- Adapter for PouchDB to load p2p data from Hyperbee☆14Feb 21, 2024Updated 2 years ago
- ☆12Sep 1, 2021Updated 4 years ago
- peermaps roadmap and discussion repo☆21Jan 11, 2019Updated 7 years ago
- Minimal React app demo using @textile/near-storage.☆11Aug 19, 2021Updated 4 years ago
- ☆30Oct 31, 2018Updated 7 years ago
- Use resque as a message bus!☆127Mar 31, 2015Updated 10 years ago
- Research & Development for Golem project☆21Dec 10, 2018Updated 7 years ago
- Tody.Chat - Zero-configuration Team Chat☆13Apr 6, 2020Updated 5 years ago
- ☆36Dec 10, 2018Updated 7 years ago
- Core functionality for debugging Solidity files built with Truffle☆66Jun 13, 2018Updated 7 years ago
- http response/request parser for rust☆13Aug 10, 2015Updated 10 years ago
- React hooks for the hypercore-protocol stack☆15Mar 30, 2023Updated 2 years ago
- Translations of standard contracts from Solidity to Vyper.☆12May 30, 2018Updated 7 years ago
- A REST API build with the rocket.rs framework☆12Feb 5, 2017Updated 9 years ago