Prouver qui vous êtes ne devrait pas signifier donner votre identité entière. Découvrez le TLDR sur ZPass et comment il façonne l'avenir des voyages 🌐 ↓

Nous avons effectué 30 trillions de dollars en paiements en stablecoin en 2024, mais seulement 0,01 % étaient cryptés. Bon vendredi.

Ce n'est tout simplement pas juste.

Nous sommes ravis d'accueillir notre nouveau conseiller général dans l'équipe de @ProvableHQ ! Il est optimiste sur Aleo, la confidentialité par défaut, et la construction des outils qui amèneront les marchés de capitaux traditionnels sur la blockchain. Nous ne pourrions pas être plus d'accord. Au travail ! 💪

Aleo utilise l'amortissement imbriqué pour rendre les preuves récursives pratiques. Plutôt que de réexécuter chaque transaction sur chaque nœud, les validateurs vérifient des preuves succinctes. C'est le passage de l'informatique centralisée à l'informatique personnelle pour les blockchains.

La certification ZK ouvre de nouvelles perspectives pour l'identité en ligne. Vous pouvez prouver que vous avez plus de 18 ans sans révéler votre date de naissance. Vous pouvez prouver que vous n'êtes pas sur une liste de sanctions sans révéler votre nationalité. Cela résout des problèmes avec lesquels Internet a lutté pendant des décennies.

J'accueille la vraie technologie de la vie privée, mais c'est du pur blabla 🧢

La plupart des blockchains considèrent les transactions comme des opérations discrètes. Nous avons introduit async/await dans Leo, permettant aux développeurs de raisonner sur les calculs comme des flux à travers les transactions, les blocs et le temps. Cela apporte des paradigmes de programmation web au développement ZK.

personne n'en parle, alors je vais le faire : notre changement architectural surmonte le trilemme de @VitalikButerin. ZK change fondamentalement l'architecture de la blockchain : passant de l'"informatique centralisée" (temps de bloc partagé) à l'"informatique personnelle" (exécution localement, vérification globalement).

je ne pense pas que beaucoup de gens sachent à quel point les mathématiques derrière les preuves ZK sont incroyablement complexes. Lorsque les preuves coûtent 1000 fois plus cher que les natives, chaque fonctionnalité doit être soigneusement optimisée. Cette ingénierie de précision est la raison pour laquelle la construction d'un zkVM prêt pour la production a pris des années.