1package babyjub
 2
 3import (
 4	"crypto/rand"
 5	"encoding/hex"
 6	"fmt"
 7
 8	"github.com/stretchr/testify/assert"
 9
10	// "golang.org/x/crypto/blake2b"
11	"math/big"
12	"testing"
13)
14
15func genInputs() (*PrivateKey, *big.Int) {
16	k := NewRandPrivKey()
17	fmt.Println("k", hex.EncodeToString(k[:]))
18
19	msgBuf := [32]byte{}
20	rand.Read(msgBuf[:])
21	msg := SetBigIntFromLEBytes(new(big.Int), msgBuf[:])
22	msg.Mod(msg, Q)
23	fmt.Println("msg", msg)
24
25	return &k, msg
26}
27
28func TestSignVerify1(t *testing.T) {
29	var k PrivateKey
30	hex.Decode(k[:], []byte("0001020304050607080900010203040506070809000102030405060708090001"))
31	msgBuf, err := hex.DecodeString("00010203040506070809")
32	if err != nil {
33		panic(err)
34	}
35	msg := SetBigIntFromLEBytes(new(big.Int), msgBuf)
36
37	pk := k.Public()
38	assert.Equal(t,
39		"2610057752638682202795145288373380503107623443963127956230801721756904484787",
40		pk.X.String())
41	assert.Equal(t,
42		"16617171478497210597712478520507818259149717466230047843969353176573634386897",
43		pk.Y.String())
44
45	sig := k.SignMimc7(msg)
46	assert.Equal(t,
47		"4974729414807584049518234760796200867685098748448054182902488636762478901554",
48		sig.R8.X.String())
49	assert.Equal(t,
50		"18714049394522540751536514815950425694461287643205706667341348804546050128733",
51		sig.R8.Y.String())
52	assert.Equal(t,
53		"2171284143457722024136077617757713039502332290425057126942676527240038689549",
54		sig.S.String())
55
56	ok := pk.VerifyMimc7(msg, sig)
57	assert.Equal(t, true, ok)
58
59	sigBuf := sig.Compress()
60	sig2, err := new(Signature).Decompress(sigBuf)
61	assert.Equal(t, nil, err)
62
63	assert.Equal(t, ""+
64		"5dfb6f843c023fe3e52548ccf22e55c81b426f7af81b4f51f7152f2fcfc65f29"+
65		"0dab19c5a0a75973cd75a54780de0c3a41ede6f57396fe99b5307fff3ce7cc04",
66		hex.EncodeToString(sigBuf[:]))
67
68	ok = pk.VerifyMimc7(msg, sig2)
69	assert.Equal(t, true, ok)
70}
71
72func TestCompressDecompress(t *testing.T) {
73	var k PrivateKey
74	hex.Decode(k[:], []byte("0001020304050607080900010203040506070809000102030405060708090001"))
75	pk := k.Public()
76	for i := 0; i < 64; i++ {
77		msgBuf, err := hex.DecodeString(fmt.Sprintf("000102030405060708%02d", i))
78		if err != nil {
79			panic(err)
80		}
81		msg := SetBigIntFromLEBytes(new(big.Int), msgBuf)
82		sig := k.SignMimc7(msg)
83		sigBuf := sig.Compress()
84		sig2, err := new(Signature).Decompress(sigBuf)
85		assert.Equal(t, nil, err)
86		ok := pk.VerifyMimc7(msg, sig2)
87		assert.Equal(t, true, ok)
88	}
89}