You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
arnaucube bed1a652c9 Fix verify check input inside field 2 years ago
testdata Add Groth16 proof verification 2 years ago
.travis.yml Add Travis, update README.md & doc 2 years ago
LICENSE Initial commit 2 years ago
README.md Add Travis, update README.md & doc 2 years ago
go.mod Add Proof & VerifierKey data structs with parsers from json 2 years ago
go.sum Add bn256.G1 & G2 parsers 2 years ago
verifier.go Fix verify check input inside field 2 years ago
verifier_test.go Add Travis, update README.md & doc 2 years ago

README.md

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)