« Écrivez du Rust normal comme vous le feriez pour un backend de serveur web, puis mettez cette logique métier dans un zkVM et rendez-la vérifiable. » - @pumatheuma, co-fondateur de @SuccinctLabs Avec les VAP (applications vérifiables), vous conservez le modèle de développement et de latence web2 (gestion des requêtes hors chaîne, correspondance rapide, infrastructure peu coûteuse) tout en attachant une preuve succincte que le programme a effectivement été exécuté avec les entrées déclarées et a respecté ses règles. La preuve est vérifiée sur la chaîne (ou à un point d'accès), donc le règlement ou les mises à jour d'état n'ont lieu que si l'ID du programme exact, les entrées et les contraintes sont conformes. Pas de réexécution, pas de codage de circuit à la main, pas d'expertise en cryptographie requise - juste du code standard compilé pour un objectif zkVM. Le résultat est une expérience utilisateur web2 avec des garanties web3 : correction et non-répudiation des règles métier, intégrité des entrées, confidentialité optionnelle (prouver des propriétés sans révéler de données) et portabilité de la confiance puisque la même preuve peut être vérifiée n'importe où. Regardez l'épisode complet avec Uma Roy pour voir comment les VAP et la preuve en temps réel rendent « écrire du code normal, obtenir de la vérifiabilité » un chemin pratique pour les systèmes de production :

À venir bientôt chez Verifying Intelligence pendant la semaine de @token2049 : une conférence de @tomngodefi, PDG de @MetisL2 🎉 Tom présentera "Décentralisation et Confiance : Le Rôle de la Blockchain dans l'IA" le 29 septembre au Caldwell House, Singapour. RSVP : Verifying Intelligence est co-organisé par @HouseofZK et @boundless_xyz - en partenariat avec @googlecloud - et sponsorisé par @0G_labs, @LazAINetwork, @alt_layer, @VeridiseInc, @OntologyNetwork, et @gonka_ai 🤝

À venir chez Verifying Intelligence pendant la semaine de @token2049 : une interview avec @DaLiberman, créateur de @gonka_ai 🎉 Daniil Liberman est un futuriste basé à Los Angeles, entrepreneur en série, investisseur et ancien directeur produit chez Snap, ainsi que le créateur de Gonka. Il a commencé son parcours entrepreneurial avec ses frères et sœurs, co-fondant des entreprises dans les domaines des graphismes informatiques, de la finance et de l'IA. Daniil a co-fondé Frank Money, pionnier de la transparence financière radicale, et a ensuite lancé Kernel AR, qui a été acquis par Snap la même année. Lui et ses frères et sœurs ont signé le Founders Pledge, canalisant leur production économique dans Libermans Co., désormais valorisée à 400 millions de dollars et ayant attiré des investissements de @pmarca, Josh Kushner, @ariellezuck. 🗓️ 29 septembre 📍 Caldwell House, Singapour 🎟️ Verifying Intelligence est co-organisé par @HouseofZK et @boundless_xyz - en partenariat avec @googlecloud - et sponsorisé par @0G_labs, @LazAINetwork, @alt_layer, @VeridiseInc, @OntologyNetwork et @gonka_ai 🤝