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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Scripts to install libraries compiled to WASM using emscripten☆40Sep 4, 2020Updated 5 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- [Optimism] Client-Side Services☆19Apr 9, 2021Updated 5 years ago
- EVM interpreter compatible with the evm2wasm interface☆48Feb 19, 2022Updated 4 years ago
- A generalized state channel implementation for 1 on 1 communication☆18Mar 7, 2019Updated 7 years ago
- My implementation of Plonk☆19Jun 27, 2021Updated 4 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
- [ORPHANED] Injects metering into webassembly binaries☆73Nov 9, 2022Updated 3 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
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Solidity implementation of partial merkle tree for a light weight side chain execution verification☆12Apr 9, 2019Updated 7 years ago
- Render React form components and sections from an OpenLaw template.☆17Jan 1, 2023Updated 3 years ago
- [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 6 years ago
- Sequence Web SDK – easily connect to web3 with any wallet, with built-in support for Sequence Embedded Wallet for web2 users signing in w…☆19Updated this week
- LR(1) Parser for the Ambients Protocol☆12Jun 17, 2022Updated 3 years ago
- Transmute☆58Aug 27, 2024Updated last year
- Walkthroughs for the modules in the Hypercore Protocol stack☆12Mar 17, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An idiomatic Clojure interface to Apache CouchDB☆10Oct 27, 2023Updated 2 years ago
- Adapter for PouchDB to load p2p data from Hyperbee☆14Feb 21, 2024Updated 2 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
- query peers about hypercore feed data☆14Apr 17, 2020Updated 5 years ago
- Solidity Parser for Solium☆29Apr 17, 2023Updated 2 years ago
- ☆30Oct 31, 2018Updated 7 years ago
- Use resque as a message bus!☆127Mar 31, 2015Updated 11 years ago
- Research & Development for Golem project☆21Dec 10, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Fully on-chain, procedurally generated, animated solar systems.☆13Mar 24, 2024Updated 2 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☆14Aug 10, 2015Updated 10 years ago
- data availability service for DAT☆17Jun 10, 2024Updated last year
- React hooks for the hypercore-protocol stack☆15Mar 30, 2023Updated 3 years ago
- Translations of standard contracts from Solidity to Vyper.☆12May 30, 2018Updated 7 years ago