github.com/Evanesco-Labs/go-evanesco@v1.0.1/zkpminer/problem/crsgen_test.go (about)

     1  package problem
     2  
     3  import (
     4  	"os"
     5  	"testing"
     6  )
     7  
     8  func TestGenCrs(t *testing.T) {
     9  	r1csFile,err := os.OpenFile("./r1cstest.txt", os.O_RDWR|os.O_CREATE, 0666)
    10  	if err != nil{
    11  		panic(err)
    12  	}
    13  	defer r1csFile.Close()
    14  	pkFile, err := os.OpenFile("./provekeytest.txt", os.O_RDWR|os.O_CREATE, 0666)
    15  	if err != nil{
    16  		panic(err)
    17  	}
    18  	defer pkFile.Close()
    19  	skFile,err := 	os.OpenFile("./verifykeytest.txt", os.O_RDWR|os.O_CREATE, 0666)
    20  	if err != nil{
    21  		panic(err)
    22  	}
    23  	defer skFile.Close()
    24  
    25  	r1cs := CompileCircuit()
    26  	r1cs.WriteTo(r1csFile)
    27  
    28  	pk,sk := SetupZKP(r1cs)
    29  	pk.WriteTo(pkFile)
    30  	sk.WriteTo(skFile)
    31  }