Skip to content

Home > Resources > papers > WTSTW17-Hyrax

Doubly-Efficient zkSNARKs Without Trusted Setup (Hyrax)

Summary

Presents Hyrax, the first doubly-efficient zkSNARK (efficient for both prover and verifier) without a trusted setup. Uses a combination of the sumcheck protocol and vector commitment schemes over the discrete log setting. Notable for removing the trusted setup requirement while maintaining practical performance.

Used by