Awesome GitHub RepositoriesProof Generation and Management

Tachyon is a suite of hardware-accelerated engines and modular infrastructure for generating succinct non-interactive arguments of knowledge and polynomial commitments. It provides a GPU-accelerated zero-knowledge proof backend and a prover system designed to construct proofs from high-level circuit descriptions. The project distinguishes itself through a GPU cryptographic accelerator that offloads elliptic curve operations, field arithmetic, and cryptographic hashes to graphics hardware. This infrastructure includes a specialized polynomial commitment engine and modular components that allow

Sui is a blockchain platform featuring an object-centric state model and resource-oriented smart contracts. It utilizes parallel transaction execution to increase network throughput and supports programmable transaction blocks that bundle multiple operations into single atomic units. The platform distinguishes itself with a capability-based access control system and zero-knowledge login mechanisms, enabling users to authenticate via identity providers without seed phrases. It also implements deterministic object addressing to allow predictable state lookups and supports the creation of soulbo

Acest proiect este un motor de bază de date verificabil care oferă un sistem de dovezi criptografice SQL pentru a asigura integritatea informațiilor stocate și regăsirea acestora. Acesta funcționează ca un depozit de date care poartă dovezi și utilizează angajamente criptografice pentru a preveni manipularea datelor și a garanta că rezultatele interogărilor sunt corecte. Sistemul generează dovezi zero-knowledge pentru a oferi dovezi matematice că o interogare SQL a fost executată corect, fără a necesita o re-rulare completă a procesului. Aceste dovezi criptografice pot fi exportate pentru validare on-chain, permițând contractelor inteligente sau terților să verifice rezultatele bazei de date în mod trustless. Motorul include un procesor de interogări SQL analitice de înaltă performanță, capabil să execute agregări și filtre complexe peste milioane de rânduri cu timpi de răspuns sub o secundă. Menține un pipeline de ingestie a datelor securizat care creează hash-uri anti-manipulare în timpul introducerii pentru a asigura integritatea stării bazei de date.

Blitzar is a verifiable SQL proof engine and cryptographic library designed for verifiable SQL computation. It enables the execution of database queries off-chain while generating zero-knowledge proofs that certify the correctness of the results for on-chain verification. The project distinguishes itself through a GPU-accelerated proof accelerator that offloads heavy cryptographic workloads to graphics processors, reducing the time required for succinct proof generation. It provides high-performance cryptographic primitives for C++ and Rust applications, focusing on elliptic curve operations

snarkOS este un mediu de runtime distribuit și un blockchain cu dovezi zero-knowledge, conceput pentru implementarea și gestionarea aplicațiilor care se bazează pe primitive criptografice zero-knowledge. Acesta funcționează ca un registru descentralizat care utilizează dovezi zero-knowledge pentru a verifica tranzițiile de stare și tranzacțiile fără a dezvălui date private. Sistemul utilizează o rețea de consens cu conturi garantate (bonded-account), unde validatorii blochează activele drept colateral pentru a securiza o stare globală. Dispune de un registru de stare criptat pentru a urmări datele aplicației în mod privat și un prover accelerat prin GPU care descarcă calculele criptografice grele către hardware-ul grafic pentru a crește viteza de dovedire. Proiectul oferă o ierarhie de noduri bazată pe roluri, constând în noduri validator, core și prover. Suprafața sa de capabilități acoperă operarea descentralizată a nodurilor, sincronizarea rețelei peer-to-peer și gestionarea stării criptate a aplicației. Instrumentele suplimentare includ o interfață de linie de comandă pentru controlul nodurilor, telemetrie pentru monitorizarea participării la consens și capacitatea de a boota rețele locale de dezvoltare.

Remix is a comprehensive blockchain development environment and Ethereum smart contract IDE. It provides a complete workspace for writing, compiling, deploying, and debugging smart contracts across simulated and public blockchain networks. The project distinguishes itself as a specialized toolchain for EVM debugging and analysis, offering opcode-level transaction stepping and state memory analysis. It also includes a dedicated zero-knowledge proof toolchain for compiling ZK circuits and generating cryptographic proofs, alongside an AI-powered coding assistant for code generation and explanati