1package gocircomprover
 2
 3import (
 4	"fmt"
 5	"io/ioutil"
 6	"math/big"
 7	"testing"
 8
 9	"github.com/stretchr/testify/assert"
10	"github.com/stretchr/testify/require"
11)
12
13func TestProve(t *testing.T) {
14	provingKeyJson, err := ioutil.ReadFile("testdata/provingkey.json")
15	require.Nil(t, err)
16	pk, err := ParseProvingKey(provingKeyJson)
17	require.Nil(t, err)
18
19	fmt.Println("polsA", pk.PolsA)
20	fmt.Println("polsB", pk.PolsB)
21	fmt.Println("polsC", pk.PolsC)
22
23	witnessJson, err := ioutil.ReadFile("testdata/witness.json")
24	require.Nil(t, err)
25	w, err := ParseWitness(witnessJson)
26	require.Nil(t, err)
27
28	fmt.Println("w", w)
29	assert.Equal(t, Witness{big.NewInt(1), big.NewInt(33), big.NewInt(3), big.NewInt(11)}, w)
30
31	proof, pubSignals, err := Prove(pk, w)
32	assert.Nil(t, err)
33	fmt.Println("proof", proof)
34	fmt.Println("pubSignals", pubSignals)
35}