Awesome GitHub RepositoriesProof-Generating Executions

Este proyecto es un motor de base de datos verificable que proporciona un sistema de prueba criptográfica SQL para asegurar la integridad de la información almacenada y su recuperación. Funciona como un almacén de datos que lleva pruebas y utiliza compromisos criptográficos para prevenir la manipulación de datos y garantizar que los resultados de las consultas sean precisos. El sistema genera pruebas de conocimiento cero para proporcionar evidencia matemática de que una consulta SQL se ejecutó correctamente sin requerir una re-ejecución completa del proceso. Estas pruebas criptográficas pueden exportarse para validación on-chain, permitiendo que contratos inteligentes o terceros verifiquen los resultados de la base de datos de forma confiable. El motor incluye un procesador de consultas SQL analíticas de alto rendimiento capaz de ejecutar agregaciones y filtros complejos sobre millones de filas con tiempos de respuesta inferiores a un segundo. Mantiene un pipeline de ingesta de datos seguro que crea hashes a prueba de manipulaciones durante la entrada para asegurar la integridad del estado de la base de datos.

Blitzar es un motor de pruebas SQL verificables y una librería criptográfica diseñada para la computación SQL verificable. Permite la ejecución de consultas de base de datos fuera de la cadena (off-chain) mientras genera pruebas de conocimiento cero que certifican la corrección de los resultados para su verificación en la cadena (on-chain). El proyecto se distingue por un acelerador de pruebas basado en GPU que descarga cargas de trabajo criptográficas pesadas a procesadores gráficos, reduciendo el tiempo requerido para la generación de pruebas sucintas. Proporciona primitivas criptográficas de alto rendimiento para aplicaciones en C++ y Rust, centrándose en operaciones de curvas elípticas y multiplicación multiescalar. El sistema cubre una amplia superficie de gestión de datos y seguridad, incluyendo la integración de datos sin confianza (trustless) que combina la indexación de blockchain con conjuntos de datos fuera de la cadena en tablas relacionales a prueba de manipulaciones. Utiliza consenso BFT y firmas de umbral para mantener la integridad del estado, junto con mecanismos para la sincronización de datos basada en quórum y la entrega de resultados verificados mediante callbacks de contratos inteligentes. El código base proporciona bindings nativos para C++ y Rust para exponer sus conjuntos de herramientas criptográficas y librerías de computación de pruebas.

The Space and Time Go SDK is a development toolkit designed for interacting with decentralized storage environments and executing verifiable SQL queries. It provides the necessary infrastructure to manage database schemas, manipulate tables, and perform complex data operations within a distributed storage system. The SDK distinguishes itself by integrating cryptographic proof generation and verification directly into the database workflow. It enables the execution of SQL commands that produce mathematical evidence of data integrity, ensuring that results returned to an application remain accu