@@ -8,27 +8,27 @@ import (
88 "github.com/yetanotherco/aligned_layer/operator/mina"
99)
1010
11- func TestEcAddKimchiProofVerifies (t * testing.T ) {
11+ func TestMinaStateProofVerifies (t * testing.T ) {
1212 fmt .Println (os .Getwd ())
13- proofFile , err := os .Open ("lib/kimchi_ec_add .proof" )
13+ proofFile , err := os .Open ("../../batcher/aligned/test_files/mina/protocol_state_proof .proof" )
1414 if err != nil {
15- t .Errorf ("could not open kimchi proof file" )
15+ t .Errorf ("could not open mina state proof file" )
1616 }
1717
1818 proofBuffer := make ([]byte , mina .MAX_PROOF_SIZE )
1919 proofLen , err := proofFile .Read (proofBuffer )
2020 if err != nil {
21- t .Errorf ("could not read bytes from kimchi proof file" )
21+ t .Errorf ("could not read bytes from mina state proof file" )
2222 }
2323
24- pubInputFile , err := os .Open ("lib/kimchi_verifier_index.bin " )
24+ pubInputFile , err := os .Open ("../../batcher/aligned/test_files/mina/protocol_state_hash.pub " )
2525 if err != nil {
26- t .Errorf ("could not open kimchi aggregated public input file" )
26+ t .Errorf ("could not open mina state hash file" )
2727 }
2828 pubInputBuffer := make ([]byte , mina .MAX_PUB_INPUT_SIZE )
2929 pubInputLen , err := pubInputFile .Read (pubInputBuffer )
3030 if err != nil {
31- t .Errorf ("could not read bytes from kimchi aggregated public input " )
31+ t .Errorf ("could not read bytes from mina state hash " )
3232 }
3333
3434 if ! mina .VerifyProtocolStateProof (([mina .MAX_PROOF_SIZE ]byte )(proofBuffer ), uint (proofLen ), ([mina .MAX_PUB_INPUT_SIZE ]byte )(pubInputBuffer ), uint (pubInputLen )) {
0 commit comments