@sismo-core/hydra-s1 NPM

Installation

$ yarn add @sismo-core/hydra-s1

Prover js (HydraS1Prover)

const prover = new HydraS1Prover(
    registryTree,
    commitmentMapperPubKey,
    // + Optional override of the circuit path for ES module (see below for more information)
    {
        wasmPath: "https://[Your server].hydra-s1.wasm",
        zkeyPath: "https://[Your server].hydra-s1.zkey"
    }
);

Params	Type	Description
registryTree	MerkleTree	Registry Merkle tree that contain the Accounts Merkle tree
commitmentMapperPubKey	EddsaPublicKey	Pub key of the CommitmentMapper

To generate the proof, we need to provide a .wasm and a .zkey to the witness calculator. For CommonJS modules we add theses files directly in the package and we resolve the path. For ES module we can't do that, that's why we choose to host files on an S3.

If this solution doesn't suite you or if you want to optimize the download time, you can override S3 paths by adding a third params in the HydraS1Prover constructor and host files wherever you want.

ES modules (which can be overridden)

export const wasmPath = "https://static.sismo.io/hydra-s1-zkps/hydra-s1.wasm";
export const zkeyPath = "https://static.sismo.io/hydra-s1-zkps/hydra-s1.zkey";

CommonJS

export const wasmPath = require.resolve('./hydra-s1.wasm');
export const zkeyPath = require.resolve('./hydra-s1.zkey');

Generate Snark Proof

const source: HydraS1Account = {
    identifier: address,
    secret,
    commitmentReceipt
}

const destination: DestinationInput = {
    identifier: address,
    secret,
    commitmentReceipt,
    chainId: 1,
}

const statement: StatementInput = {
    value?: BigNumberish;
    // A comparator of 0 means the accounts value in the tree can be more than the value in the statement
    // A comparator of 1 means the accounts value in the tree must be equal to the value in the statement
    comparator?: number;
    registryTree: KVMerkleTree;
    accountsTree: KVMerkleTree;
}

const params = {
    vault,
    source,
    destination,
    statement,
    requestIdentifier
}

const snarkProof = await prover.generateSnarkProof(params);

// Generate inputs
// This function is automatically called by generateSnarkProof but you can call it in your tests
const { privateInputs, publicInputs } = await prover.generateInputs(params);

// Throw human readable errors
// This function is automatically called by generateSnarkProof but you can call it in your tests
try {
    await prover.userParamsValidation(params);
} catch (e) {
    console.log(e);
}

Params	Type	Description
source	HydraS1Account	Source account
destination	HydraS1Account	Destination account
statementValue	BigNumberish	Must be 0 <= statementValue <= accountValue if statementComparator is false or statementValue = accountValue if statementComparator is true
chainId	BigNumberish	Chain id
accountsTree	MerkleTree	Merkle tree constituted which include the source and a value
requestIdentifier	BigNumberish	proofIdentifier = hash((hash(source.secret, 1), requestIdentifier)
statementComparator	boolean	Define if the value is strict or not

export type HydraS1Account = { 
  identifier: BigNumberish,
  secret: BigNumberish,
  commitmentReceipt: [BigNumberish, BigNumberish, BigNumberish]
};

Verifier js (HydraS1Verifier)

import { HydraS1Verifier } from "@sismo-core/hydra-s1";

const isValid = await HydraS1Verifier.verifyProof(snarkProof.a, snarkProof.b, snarkProof.c, snarkProof.input);

Verifier contract (HydraS1Verifier)

import {HydraS1Verifier} from "@sismo-core/hydra-s1/contracts/HydraS1Verifier.sol";

struct ZKProof {
    uint256[2] a;
    uint256[2][2] b;
    uint256[2] c; 
    uint256[10] input; 
}

contract HydraS1Attester {
    HydraS1Verifier internal _verifier;

    error InvalidSnarkProof(uint256[10] publicInputs);

    constructor(
        HydraS1Verifier hydraS1Verifier
    ) {
        _verifier = hydraS1Verifier;
    }

    function attest(ZKProof calldata proof) external {
        if(! _verifier.verifyProof(proof.a, proof.b, proof.c, proof.input)) {
            revert InvalidSnarkProof(proof.input);
        }
    }
}