solana-riptide-2022

Verify ZKP in Solana programs

See slides here.

Overview

This repo contains the following sources:

./circom-circuits - ZKP circuits implemented with circom

./solana-verifier - Solana program to verify circom proofs

That also includes forked dependencies:

./ffjavascript - fork of ffjavascript; contains fixes for ./snarkjs

./getrandom - fork of getrandom; contains fixes for arkworks-rs, which is being used in ./solana-verifier

./snarkjs - fork of snarkjs; contains a Solana verifier template

Status

As of now, the project doesn't compile. The breaking issue is with making contributions in snarkjs for bls12-381. To reproduce, run cd circom-circuits && ./scripts/all.bash

Error:

[ERROR] snarkJS: Error: Curve not supported: 4002409555221667610661788685990436838824310417315709160196267947217350388461752218928110433526561144555515641069568

What was accomplished?

• Implemented verifier program and corresponding template for snakrjs.
• Fixed some issues in the snarkjs toolchain

What is left do do?

• Implement the rest of the verifier program using arkwork-rs stack
• Finish the verifier template for snarkjs and update the CLI scripts, etc.