verification-truebit
Video verification system
A proof-of-concept system verifying video content using the Truebit protocol on top of Livepeer
WIP PoC verification system for the Livepeer protocol using Truebit
16 stars
5 watching
4 forks
Language: JavaScript
last commit: about 6 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| livepeer/ui-kit | A library of composable video and audio components for React with low-latency WebRTC/HLS support | 64 |
 verifytests/verify.http | A tool for verifying web bit integrity and security | 21 |
 qirky/troop | An application that enables group live coding within the same document across multiple computers. | 311 |
 li-xirong/w2vvpp | A deep learning-based video search system using pre-trained models and datasets | 28 |
 taichi-ishitani/tvip-apb | An open-source verification IP for the AMBA APB protocol written in SystemVerilog. | 25 |
 jayleicn/tvqa | PyTorch implementation of video question answering system based on TVQA dataset | 172 |
 runtimeverification/verified-smart-contracts | Formally verified smart contracts for blockchain applications | 718 |
 princetonuniversity/vst | A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 442 |
 joubertredrat/assert-true | A collection of PHP assertions to help verify true conditions in unit tests | 19 |
 vporton/passport-client-dfinity | A Motoko-based app that connects to Gitcoin Passport to verify user personhood and uniqueness on the Internet Computer network | 1 |
 cvisionai/tator | A web-based video analytics platform that enables users to manage and analyze image and video data | 109 |
 jscert/jscert | A Coq-based verification of the ECMAScript 5 standard for a JavaScript interpreter | 196 |
 bitpay/bitcore-message | A package that allows developers to verify and sign bitcoin messages in Node.js and web browsers. | 88 |
| verifytests/verify.brighter | Adds support for verifying a specific command processing framework | 2 |
 mit-pdos/perennial | A system for verifying correctness of concurrent and crash-safe systems with recovery procedures | 163 |