1 مستودع
Awesome GitHub RepositoriesAgent Precondition Verifications
Verification of historical metrics and state preconditions between autonomous agents using ZK-proofs.
Distinct from Zero-Knowledge Authentication: Focuses on verifying agent state and history preconditions rather than general identity authentication
Explore 1 awesome GitHub repository matching security & cryptography · Agent Precondition Verifications. Refine with filters or upvote what's useful.
Awesome Agent Precondition Verifications GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- spaceandtimefdn/blitzar
spaceandtimefdn/blitzar
4,884عرض على GitHubBlitzar 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
Exchanges zero-knowledge proofs of metrics and history to verify preconditions between autonomous agents.
C++cpp20curve25519elliptic-curve-cryptography
