MCPcopy Create free account
hub / github.com/PolyhedraZK/ExpanderCompilerCollection / VerifyFile

Function VerifyFile

ecgo/rust/rust.go:26–28  ·  view source on GitHub ↗
(circuitFilename string, witnessBytes []byte, proofBytes []byte)

Source from the content-addressed store, hash-verified

24}
25
26func VerifyFile(circuitFilename string, witnessBytes []byte, proofBytes []byte) bool {
27 return wrapper.VerifyCircuitFile(circuitFilename, witnessBytes, proofBytes, layered.DetectFieldIdFromFile(circuitFilename))
28}

Callers 1

VerifyMethod · 0.92

Calls 2

VerifyCircuitFileFunction · 0.92
DetectFieldIdFromFileFunction · 0.92

Tested by

no test coverage detected