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

Function ProveFile

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

Source from the content-addressed store, hash-verified

20}
21
22func ProveFile(circuitFilename string, witnessBytes []byte) []byte {
23 return wrapper.ProveCircuitFile(circuitFilename, witnessBytes, layered.DetectFieldIdFromFile(circuitFilename))
24}
25
26func VerifyFile(circuitFilename string, witnessBytes []byte, proofBytes []byte) bool {
27 return wrapper.VerifyCircuitFile(circuitFilename, witnessBytes, proofBytes, layered.DetectFieldIdFromFile(circuitFilename))

Callers 1

ProveMethod · 0.92

Calls 2

ProveCircuitFileFunction · 0.92
DetectFieldIdFromFileFunction · 0.92

Tested by

no test coverage detected