1 个仓库
Interfaces for writing data to relational tables using signatures and consensus to ensure verification.
Distinct from Data Insertion Interfaces: Specifically targets tamperproof, verified insertions via consensus/signatures
Explore 1 awesome GitHub repository matching data & databases · Tamperproof Insertion Interfaces. Refine with filters or upvote what's useful.
Blitzar 是一个可验证的 SQL 证明引擎和加密库,专为可验证的 SQL 计算而设计。它支持在链下执行数据库查询,同时生成零知识证明,以证明结果的正确性,从而实现链上验证。 该项目以其 GPU 加速的证明加速器脱颖而出,该加速器将繁重的加密工作负载卸载到图形处理器,减少了简洁证明生成所需的时间。它为 C++ 和 Rust 应用提供了高性能加密原语,专注于椭圆曲线运算和多标量乘法。 该系统涵盖了广泛的数据管理和安全面,包括将区块链索引与链下数据集结合到防篡改关系表中的无信任数据集成。它利用 BFT 共识和阈值签名来维护状态完整性,以及用于基于法定人数的数据同步和通过智能合约回调进行验证结果交付的机制。 该代码库提供了 C++ 和 Rust 的原生绑定,以公开其加密工具集和证明计算库。
Ensures every data insertion into relational tables is verified using signatures or consensus mechanisms.