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
- Go module for https://github.com/celo-org/bls-zexe/☆13Feb 2, 2024Updated 2 years ago
- Scripts to install libraries compiled to WASM using emscripten☆40Sep 4, 2020Updated 5 years ago
- Template for implementing Plasma child chains with Truebit☆50Jan 23, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- [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
- [Optimism] Client-Side Services☆19Apr 9, 2021Updated 5 years ago
- EVM interpreter compatible with the evm2wasm interface☆50Feb 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
- ☆15Apr 15, 2026Updated last month
- [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
- 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 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 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 7 years ago
- A crowdsale mechanism optimizing price discovery information for buyers☆92Feb 24, 2023Updated 3 years ago
- Smart contracts for trustless bridges☆74Mar 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…☆23May 21, 2026Updated 3 weeks ago
- LR(1) Parser for the Ambients Protocol☆12Jun 17, 2022Updated 3 years ago
- ☁ A JavaScript function to get user's location based on Cloudflare /cdn-cgi/trace☆13Feb 17, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An idiomatic Clojure interface to Apache CouchDB☆10Oct 27, 2023Updated 2 years ago
- 🥱 Home of the Bedtime, the Audius Embed player.☆11Jun 27, 2023Updated 2 years ago
- Miscellaneous scripts to speed up your Solana development☆19Feb 14, 2024Updated 2 years ago
- Easily manage storage/replication for large collections of Hypercores☆11Aug 16, 2022Updated 3 years ago
- 📫 Offline email validation - JS or TS☆20Oct 6, 2023Updated 2 years ago
- OLD GUIDES☆18Dec 6, 2019Updated 6 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Minimal React app demo using @textile/near-storage.☆11Aug 19, 2021Updated 4 years ago
- query peers about hypercore feed data☆14Apr 17, 2020Updated 6 years ago
- ☆29Oct 31, 2018Updated 7 years ago
- Solidity Parser for Solium☆29Apr 17, 2023Updated 3 years ago
- Research & Development for Golem project☆21Dec 10, 2018Updated 7 years ago
- Use resque as a message bus!☆127Mar 31, 2015Updated 11 years ago
- Tody.Chat - Zero-configuration Team Chat☆13Apr 6, 2020Updated 6 years ago