verification-truebit
by livepeer
WIP PoC verification system for the Livepeer protocol using Truebit
AI summary
Video verification system
A proof-of-concept system verifying video content using the Truebit protocol on top of Livepeer
- stars
- 16
- forks
- 4
- watching
- 5
Similar projects
Found by comparing what the projects do, not just their names.
Video player library
A library of composable video and audio components for React with low-latency WebRTC/HLS support
Web verification tool
A tool for verifying web bit integrity and security
qirky/troop312
Live coder
An application that enables group live coding within the same document across multiple computers.
Video search system
A deep learning-based video search system using pre-trained models and datasets
Verification IP
An open-source verification IP for the AMBA APB protocol written in SystemVerilog.
VQA system
PyTorch implementation of video question answering system based on TVQA dataset
Verified contracts
Formally verified smart contracts for blockchain applications
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Assertions
A collection of PHP assertions to help verify true conditions in unit tests
Personhood verifier
A Motoko-based app that connects to Gitcoin Passport to verify user personhood and uniqueness on the Internet Computer network
Video analytics platform
A web-based video analytics platform that enables users to manage and analyze image and video data
JavaScript verifier
A Coq-based verification of the ECMAScript 5 standard for a JavaScript interpreter
Message Verifier
A package that allows developers to verify and sign bitcoin messages in Node.js and web browsers.
Command processor verifier
Adds support for verifying a specific command processing framework
System verifier
A system for verifying correctness of concurrent and crash-safe systems with recovery procedures
