Skip to content

feat: Sudoku demo to Quantum's Groth16 showcase#3

Open
0xObsidian wants to merge 3 commits intoElectron-Labs:masterfrom
0xObsidian:0xObsidian/sudoku-demo-to-quantum-Groth16
Open

feat: Sudoku demo to Quantum's Groth16 showcase#3
0xObsidian wants to merge 3 commits intoElectron-Labs:masterfrom
0xObsidian:0xObsidian/sudoku-demo-to-quantum-Groth16

Conversation

@0xObsidian
Copy link
Copy Markdown

This PR expands Quantum's demo collection with a practical, user-friendly example that helps devs understand ZK circuit integration with Quantum.

Description

  • Integrated Sudoku verification circuit with Quantum's test suite
  • Demonstrates Quantum's API flexibility with complex circuit inputs

Testing the introduced feat

Fetch this PR branch and run:

make sudoku_groth16

To prevent accidental commits of temp build artifacts

Description
-----------
- Untracked build artifacts
- Updated gitignore
Description
------------
- Added targets for all proving schemes
- Simplified initial development env setup
- Added build script for `snarkjs groth16`
- Updated README with streamlined build instructions

Usage
------
You can build and test individual proving schemes using:
```
make <scheme_name>
```
Example
```
make snarkjs_groth16
```
Available schemes:
- `gnark_groth16`
- `snarkjs_groth16`
- `risc0`
- `sp1`
- `plonky2`
- `gnark_plonk`
- `halo2_kzg`
- `halo2_kzg_evm`
reason
------
Expand Quantum's demo collection with a practical, user-friendly
example that helps developers understand ZK circuit integration
with the Quantum platform.

Description
------------
- Integrated Sudoku verification circuit with Quantum's test suite
- Demonstrates Quantum's API flexibility with complex circuit inputs

Testing the introduced `feat`
-----------------------------
Fetch this PR branch and run:
```
make sudoku_groth16
```
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant