1 repository
Awesome GitHub RepositoriesPrivate Application Frameworks
Toolsets for developing programs that validate outputs without revealing the underlying private data.
Distinct from Private Attestation Frameworks: No candidate covers a general framework for private application development; others are too narrow (e.g., attestation).
Explore 1 awesome GitHub repository matching security & cryptography · Private Application Frameworks. Refine with filters or upvote what's useful.
Awesome Private Application Frameworks 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.
Offers tools for developing and executing programs that validate outputs while keeping data private.
Rustcompilerleoprogramming-language
