Home > Resources > code > Spartan-Code

Microsoft Spartan (Original)

URL: https://github.com/microsoft/Spartan

Summary

The original Rust implementation of the Spartan proof system by Srinath Setty at Microsoft Research. Implements the transparent R1CS-based zkSNARK described in the Spartan paper (CRYPTO 2020). Includes efficient polynomial commitment schemes and serves as the reference implementation.

Related resources

• Microsoft Spartan — Commit History (code, 2020)
• Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup (Setty 2020) (paper, 2019)