Spartan vs zksk

Spartan

Spartan: High-speed zkSNARKs without trusted setup (by microsoft)

Source Code

Suggest alternative

Edit details

zksk

Zero-Knowledge Swiss Knife (by spring-epfl)

zero-knowledge-proofs

Source Code

Suggest alternative

Edit details

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

www.influxdata.com

featured

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

featured

Spartan		zksk
	Project
1	Mentions	2
630	Stars	88
0.8%	Growth	-
3.7	Activity	0.0
21 days ago	Latest Commit	over 1 year ago
Rust	Language	Python
MIT License	License	MIT License

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

Spartan

Posts with mentions or reviews of Spartan. We have used some of these posts to build our list of alternatives and similar projects.

No, the "Monero devs" are not trying to migrate Monero to zk-SNARKs
1 project | /r/Monero | 30 Apr 2022

zksk

Posts with mentions or reviews of zksk. We have used some of these posts to build our list of alternatives and similar projects.

Zero-Knowledge Swiss Knife Python library. The inverse of a Secret?
1 project | /r/cryptography | 12 Apr 2023

Link to docs and github for the library: https://github.com/spring-epfl/zksk https://zksk.readthedocs.io/en/latest/quickstart.html
Zero-Knowledge Equality Proofs - homework help
1 project | /r/cryptography | 1 Nov 2021

In this homework, I have to use the Zero-Knowledge Swiss-Knife library to generate and verify non-interactive zero-knowledge proofs of equality of El- Gamal cipher-texts

What are some alternatives?

When comparing Spartan and zksk you can also consider the following projects:

proof-systems - The proof systems used by Mina

aztec-v1 - Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty

juniper - GraphQL server library for Rust

cairo - Cairo is the first Turing-complete language for creating provable programs for general computation.

dryoc - Don't Roll Your Own Crypto: pure-Rust, hard to misuse cryptography library

firo - The privacy-focused cryptocurrency

leo - 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

grin - Minimal implementation of the Mimblewimble protocol.

semaphore - A zero-knowledge protocol for anonymous interactions.

baseline - The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterprises while keeping data in systems of record. This repo serves as the main repo for the Baseline Protocol, containing core packages, examples, and reference implementations.