ZisK is an open-source zero-knowledge proving toolstack featuring a zkVM that enables verifiable execution of programs written in high-level languages like Rust
ZisK is an open-source zkVM (zero-knowledge virtual machine) built to make proof generation faster and more cost-efficient.
It allows developers to write circuits in Rust as well as other high-level languages like C++ or Go, making zero-knowledge programming accessible without requiring deep cryptographic expertise.
Its architecture is optimized to minimize latency and cost, while ensuring 128-bit security for modern, production-ready applications.
ZisK began as an experimental project at Polygon Labs, where a team of developers explored ways to make zero-knowledge proof generation faster, cheaper, and more accessible.
Leveraging their experience and know-how from creating, maintaining, and improving the Polygon zkEVM, the team decided in June 2025 to continue the project independently and founded SilentSig Switzerland GmbH.
Today, SilentSig stewards ZisK as an open-source, community-driven zkVM, enabling developers to build the next generation of zero-knowledge applications.
