1 Repo
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
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- provablehq/leo
ProvableHQ/leo
4,818Auf GitHub ansehenLeo ist eine Programmiersprache für Zero-Knowledge-Proofs und eine formal verifizierte Sprache, die darauf ausgelegt ist, die mathematische Korrektheit von Anwendungslogik und kryptografischen Schaltkreisen zu beweisen. Sie dient als Framework für private Anwendungen und als ZK-Circuit-Compiler, der High-Level-Quellcode in die Low-Level-Constraints transformiert, die zur Erzeugung und Verifizierung von Zero-Knowledge-Proofs erforderlich sind. Das Projekt bietet ein Toolset für die Entwicklung von Zero-Knowledge-Anwendungen und ZK-Circuit-Engineering, was die Erstellung privater Smart-Contract-Logik ermöglicht. Entwickler können High-Level-Code schreiben, der in kryptografische Schaltkreise kompiliert wird, um private, verifizierbare Berechnungsnachweise zu erzeugen. Das Framework umfasst Funktionen für formal verifizierte Programmierung, die es Benutzern erlauben, Code in Schaltkreise zu kompilieren, private Programme auszuführen und die Logikgenauigkeit durch Tests zu verifizieren.
Provides a high-level language for writing code that compiles into cryptographic circuits.
Rustcompilerleoprogramming-language
