1 个仓库
Interfaces that translate high-level ZK circuit descriptions into executable hardware-accelerated operations.
Distinct from Zero-Knowledge Proof Frameworks: Focuses on the interoperability layer between circuit frontends and hardware backends.
Explore 1 awesome GitHub repository matching security & cryptography · Modular 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
Interfaces with various zero-knowledge circuit descriptions to translate high-level proofs into executable hardware-accelerated operations.