Initialement publié en anglais par StarkWare le 31 août, 2020TL;DRCairo est la première plate-forme de production pour la génération de preuves STARK, pour le calcul général. C’est Turing Complete, et très efficace. Tout ce que nous avons construit — à commencer par notre soumission “Reddit Bake-off” — est écrit en Cairo, y compris tous nos prochains déploiements : DeversiFi, Immutable et dYdX. Peu importe vos besoins de calcul et de stockage, si vous voulez une grande scalabilité à faible co...