1 مستودع
Verification processes that use consensus and threshold signatures to validate state transitions.
Distinct from Quorum-Based Commit Protocols: Focuses on validating the overall state integrity of the system rather than just the commit phase of a single transaction.
Explore 1 awesome GitHub repository matching data & databases · State Integrity Verifications. Refine with filters or upvote what's useful.
Blitzar is a verifiable SQL proof engine and cryptographic library designed for verifiable SQL computation. It enables the execution of database queries off-chain while generating zero-knowledge proofs that certify the correctness of the results for on-chain verification. The project distinguishes itself through a GPU-accelerated proof accelerator that offloads heavy cryptographic workloads to graphics processors, reducing the time required for succinct proof generation. It provides high-performance cryptographic primitives for C++ and Rust applications, focusing on elliptic curve operations
Uses a fault-tolerant protocol and threshold signatures to ensure data modifications are validated by a decentralized quorum.