En tant que couche de calcul vérifiable pour l’IA et la blockchain, Space and Time (SxT) a publié aujourd’hui un prouveur SQL sur GitHub, qui est un prouveur ZK haute performance pour le traitement des données.
Le prouveur SQL est un nouveau prouveur ZK développé par SxT, qui garantit cryptographiquement le calcul précis des requêtes de base de données SQL sur des données non corrompues. Avec le prouveur SQL, les développeurs peuvent calculer des ensembles de données on-chain et off-chain sans avoir besoin de confiance, et prouver rapidement les résultats aux contrats intelligents pendant les transactions, afin de soutenir des protocoles DeFi plus complexes basés sur les données.
Le co-fondateur et directeur de la recherche de SxT, et l’inventeur du protocole de démonstration SQL, le Dr Jay White, a déclaré : “Space and Time est très heureux de pouvoir diriger Web3 dans une nouvelle ère de contrats intelligents axés sur les données et de DeFi de nouvelle génération.” Notre équipe a pionnier les démonstrateurs ZK à la microseconde, afin que les contrats intelligents et les agents d’IA puissent interroger les activités de la chaîne et les données hors chaîne et recevoir des résultats de requêtes SQL sans confiance sur la chaîne pendant la transaction sans attendre 30 minutes pour la preuve.
Le prouveur SQL a été publié en version alpha en août pour un groupe sélectionné de clients SxT. Avec cette publication sur GitHub aujourd’hui, le protocole est désormais ouvert au public. Les membres de la communauté peuvent exécuter des requêtes sans confiance sur SxT dans Space and Time Studio, et les développeurs peuvent télécharger directement le référentiel à partir de GitHub.
Le prouveur SQL est le premier prouveur ZK dont le temps d’exécution est inférieur à une seconde. Dans les derniers tests de benchmark de l’équipe cryptographique SxT, ce protocole peut exécuter des requêtes d’analyse sur plus de 100 000 lignes de table en moins d’une seconde sur un seul GPU, et agréger des données d’index de plusieurs millions de lignes dans le temps d’un bloc Ethereum sur un seul NVIDIA T 4.
Par rapport au zkVM général et aux coprocesseurs, le prouveur SQL fournit une architecture plus performante pour le traitement de grandes quantités de données. Bien que le zkVM général offre une solution évolutive pour tout calcul, la vitesse de preuve de traitement des données est lente.
Le vérificateur SQL peut être intégré à ces zkVM pour fournir des données sources vérifiables, ce qui permet d’exécuter du code arbitraire. Space and Time encourage et invite les membres de la communauté ainsi que d’autres équipes d’ingénierie ZKP à collaborer dans le référentiel. Le vérificateur peut être intégré à n’importe quelle base de données SQL (comme Google BigQuery), qu’elle soit centralisée ou décentralisée, et a déjà été utilisé dans certaines applications Web3, institutions financières et entreprises renommées.
Space and Time est une couche de calcul vérifiable pour l’IA et la blockchain qui combine des données inaltérables on-chain et off-chain pour fournir des scénarios d’application de niveau entreprise pour les contrats intelligents et les LLM (grands modèles de langage). Space and Time a développé une nouvelle cryptographie appelée SQL Prover qui permet aux développeurs de connecter directement les résultats d’analyse aux contrats intelligents, ouvrant ainsi la voie à de nombreux nouveaux scénarios d’application et de logique métier puissants sur la technologie de la chaîne de blocs. Space and Time est construit à partir de zéro en tant que plateforme de données multi-chaînes pour fournir des services financiers, des jeux, DeFi ou tout projet nécessitant une validation de données entre les entreprises, la blockchain et l’IA.
Pour plus d’informations, veuillez consulter : Website | Twitter | Discord | Telegram | LinkedIn | YouTube