1 Repo
Interfaces that translate high-level circuit descriptions into executable proof operations.
Distinct from Zero-Knowledge Proof Frameworks: Distinct from Zero-Knowledge Proof Frameworks: specifically focuses on the interoperability layer between circuit frontends and the proving backend.
Explore 1 awesome GitHub repository matching security & cryptography · Frontend Integrations. Refine with filters or upvote what's useful.
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
Provides modular components that interoperate with diverse proof systems to translate high-level circuits into accelerated operations.