1 dépôt
Awesome GitHub RepositoriesZK Programming Languages
High-level languages specifically designed to compile into zero-knowledge cryptographic circuits.
Distinct from Zero-Knowledge Proof Frameworks: Distinct from ZK Proof Frameworks: this is a full language for writing the logic, not just a library of cryptographic primitives.
Explore 1 awesome GitHub repository matching security & cryptography · ZK Programming Languages. Refine with filters or upvote what's useful.
Awesome ZK Programming Languages GitHub Repositories
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- provablehq/leo
ProvableHQ/leo
4,818Voir sur GitHubLeo est un langage de programmation à preuve de connaissance nulle (zero-knowledge proof) et un langage formellement vérifié conçu pour prouver la correction mathématique de la logique applicative et des circuits cryptographiques. Il sert de framework d'application privée et de compilateur de circuits ZK qui transforme le code source de haut niveau en contraintes de bas niveau nécessaires pour générer et vérifier des preuves de connaissance nulle. Le projet fournit une boîte à outils pour le développement d'applications à connaissance nulle et l'ingénierie de circuits ZK, permettant la création d'une logique de smart contract privée. Il permet aux développeurs d'écrire du code de haut niveau qui se compile en circuits cryptographiques pour générer des preuves de calcul privées et vérifiables. Le framework inclut des capacités de programmation formellement vérifiée, permettant aux utilisateurs de compiler du code en circuits, d'exécuter des programmes privés et de vérifier l'exactitude de la logique par le biais de tests.
Provides a high-level language for writing code that compiles into cryptographic circuits.
Rustcompilerleoprogramming-language
