zkDatabase es una solución pionera de Orochi Network que combina una moderna arquitectura de bases de datos noSQL con técnicas criptográficas avanzadas para garantizar la integridad y privacidad demostrables de los datos. En su núcleo, zkDatabase aprovecha las Pruebas de Conocimiento Cero (ZKP) para permitir que las consultas y transacciones de datos se verifiquen sin revelar los propios datos subyacentes.
El motor de zkDatabase se basa en un Prover de Conocimiento Cero, que garantiza que todas las transacciones de datos puedan ser verificadas criptográficamente. Este prover soporta una gama de zkSNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge), proporcionando pruebas concisas que son computacionalmente eficientes de verificar. La primera versión de zkDatabase está construida sobre el framework o1js desarrollado por O1 Labs. Esta integración permite incorporar sin problemas los zkSNARKs dentro de la base de datos, aprovechando las robustas y eficientes implementaciones de prover que ofrece o1js.
zkDatabase está diseñada con una arquitectura modular, que permite la integración de múltiples sistemas de prueba en el futuro. El soporte previsto incluye sistemas de pruebas avanzados como Plonky3, que ofrece una generación de pruebas más rápida y una escalabilidad mejorada.
