1 repository
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
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- provablehq/leo
ProvableHQ/leo
4,818Vezi pe GitHubLeo este un limbaj de programare pentru dovezi cu cunoaștere zero (zero-knowledge proofs) și un limbaj verificat formal, conceput pentru a demonstra corectitudinea matematică a logicii aplicațiilor și a circuitelor criptografice. Acesta servește ca un framework pentru aplicații private și un compilator de circuite ZK care transformă codul sursă de nivel înalt în constrângerile de nivel scăzut necesare pentru a genera și verifica dovezi cu cunoaștere zero. Proiectul oferă un set de instrumente pentru dezvoltarea aplicațiilor cu cunoaștere zero și ingineria circuitelor ZK, permițând crearea logicii de smart contract private. Permite dezvoltatorilor să scrie cod de nivel înalt care se compilează în circuite criptografice pentru a genera dovezi private și verificabile de calcul. Framework-ul include capabilități pentru programarea verificată formal, permițând utilizatorilor să compileze cod în circuite, să execute programe private și să verifice acuratețea logicii prin testare.
Provides a high-level language for writing code that compiles into cryptographic circuits.
Rustcompilerleoprogramming-language
