stark
Dépôts open source suivis étiquetés stark, triés par étoiles.
Sujets associés
Sujets qui apparaissent souvent aux côtés de stark sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés stark.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1
RISC Zero est une plateforme de calcul général vérifiable à divulgation nulle de connaissance, basée sur les zk-STARKs et la microarchitecture RISC-V.
★ 2 188+8Évolution des étoiles sur les 7 derniers jours - #2
Tutoriel d'introduction aux preuves à divulgation nulle de connaissance (Zero-Knowledge Proofs). #zk #WIP
★ 2 134+0Évolution des étoiles sur les 7 derniers jours - #3★ 770+0Évolution des étoiles sur les 7 derniers jours
- #4
cairo-vm est une implémentation en Rust de la machine virtuelle Cairo. Cairo (CPU Algebraic Intermediate Representation) est un langage de programmation permettant d'écrire des programmes prouvables, où une partie peut prouver à une autre qu'un certain calcul a été exécuté correctement sans avoir besoin de réexécuter le même programme.
★ 586+1Évolution des étoiles sur les 7 derniers jours
