https://github.com/jwasinger/groth16-verify-wasm

Groth16 proof verifier written in Webassembly
https://github.com/jwasinger/groth16-verify-wasm

Last synced: 3 months ago
JSON representation

Groth16 proof verifier written in Webassembly

• Host: GitHub
• URL: https://github.com/jwasinger/groth16-verify-wasm
• Owner: jwasinger
• License: gpl-3.0
• Created: 2019-11-01T07:26:06.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2023-01-24T01:33:29.000Z (over 1 year ago)
• Last Synced: 2024-01-24T08:12:30.235Z (5 months ago)
• Language: WebAssembly
• Size: 622 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 14
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-phase2 - groth16-verify-wasm

README

        
# Groth16 Verify Wasm

Implementation of Groth16 Proof Verification in Assemblyscript

## Usage

`npm install && npm run build`

See `package.json` for various benchmarking options.  Proof used for benchmarking is from a Tornado Cash withdrawal.

## Proof Serialization Format

```

Verification Key:

    A - 96 bytes

    B - 192 bytes

    C - 192 Bytes

Proof:

    A - 96 bytes

    B - 192 bytes

    G - 192 bytes

    D - 192 bytes

Input Constraints:

    Number of input constraints - 32 bit unsigned integer (little endian)

    Input Constraints - number of input constraints * 96 bytes

Public Inputs:

    Number of public inputs - 32 bit unsigned integer (little endian) 

    Public Inputs - number of public inputs * 32 bytes

```