https://github.com/alxkzmn/spartan-circom

circom spartan zero-knowledge zero-knowledge-proofs zk zk-snarks zkp zkproof zksnarks

Last synced: 11 months ago
JSON representation

Write Spartan circuits in Circom

Host: GitHub
URL: https://github.com/alxkzmn/spartan-circom
Owner: alxkzmn
Created: 2025-03-18T10:56:53.000Z (about 1 year ago)
Default Branch: main
Last Pushed: 2025-03-18T11:47:59.000Z (about 1 year ago)
Last Synced: 2025-06-22T03:38:16.235Z (12 months ago)
Topics: circom, spartan, zero-knowledge, zero-knowledge-proofs, zk, zk-snarks, zkp, zkproof, zksnarks
Language: Rust
Homepage:
Size: 17.6 KB
Stars: 3
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.MD

README

# Spartan-Circom

Spartan is a zero-knowledge proof system using the R1CS arithmetization. See https://github.com/microsoft/Spartan for more information.

Circom is a popular DSL for writing ZK circuits that can be compiled into R1CS format. See https://docs.circom.io/ for more information.

This repository provides the tools to run Spartan using circuits written in Circom.

## Development

1. Install Circom with `curve25519` support

```shell
git clone https://github.com/DanTehrani/circom-secq
cd circom-secq && cargo build --release && cargo install --path circom
```

2. Build circuits

```shell
sh circuits/scripts/compile_circuit.sh
sh circuits/scripts/witgen.sh
```

## Credits

`circuit_reader` is adapted from https://github.com/personaelabs/spartan-ecdsa