1package gocircomprover
 2
 3import (
 4	"io/ioutil"
 5	"testing"
 6
 7	"github.com/stretchr/testify/assert"
 8	"github.com/stretchr/testify/require"
 9)
10
11func TestVerify1(t *testing.T) {
12	proofJson, err := ioutil.ReadFile("testdata/big/proof.json")
13	require.Nil(t, err)
14	vkJson, err := ioutil.ReadFile("testdata/big/verification_key.json")
15	require.Nil(t, err)
16	publicJson, err := ioutil.ReadFile("testdata/big/public.json")
17	require.Nil(t, err)
18
19	public, err := ParsePublicSignals(publicJson)
20	require.Nil(t, err)
21	proof, err := ParseProof(proofJson)
22	require.Nil(t, err)
23	vk, err := ParseVk(vkJson)
24	require.Nil(t, err)
25
26	v := Verify(vk, proof, public)
27	assert.True(t, v)
28}