No description
Find a file
2020-04-22 18:55:59 +02:00
testdata Add Groth16 proof verification 2020-03-09 23:14:27 +01:00
.travis.yml Add Travis, update README.md & doc 2020-03-09 23:46:35 +01:00
go.mod Add Proof & VerifierKey data structs with parsers from json 2020-03-09 19:57:40 +01:00
go.sum Add bn256.G1 & G2 parsers 2020-03-09 19:22:45 +01:00
LICENSE Initial commit 2020-03-09 19:18:21 +01:00
README.md Add Travis, update README.md & doc 2020-03-09 23:46:35 +01:00
verifier.go Fix verify check input inside field 2020-04-22 18:55:59 +02:00
verifier_test.go Add Travis, update README.md & doc 2020-03-09 23:46:35 +01:00

go-bellman-verifier Go Report Card Build Status

Groth16 zkSNARK bellman proof verifier

Verify Groth16 proofs generated from bellman, using cloudflare/bn256 (used by go-ethereum) for the Pairing.

Usage

public, err := ParsePublicRaw(publicJson)
require.Nil(t, err)
proof, err := ParseProofRaw(proofJson)
require.Nil(t, err)
vk, err := ParseVkRaw(vkJson)
require.Nil(t, err)

v := Verify(vk, proof, public)
assert.True(t, v)