Documentation
¶
Index ¶
Constants ¶
const ( LAZY_COMMIT_SIZE int = 2 LAZY_COMMIT_PREFIX string = "LAZY_COMMITMENT" )
Variables ¶
This section is empty.
Functions ¶
func Compile ¶
func Compile(comp *wizard.CompiledIOP)
Converts all the oracle commmitments into messages and ask the verifier to manually verify all queries.
Primary use-case is testing.
func CompileAtProverLvl ¶
func CompileAtProverLvl(comp *wizard.CompiledIOP)
CompileAtProverLvl instantiate the oracle as the prover. Meaning that the prover is responsible for checking all the queries and the verifier does not see any compiled IOP.
This is useful for quick "manual" testing and debugging. One perk is that unlike [CompileAtVerifierLvl] the FS is not pressured as we don't push many column in plain-text to the verifier. The drawback is that since it happens at prover level, the "errors" result in panics. This makes it not very suitable for established unit-tests where we want to analyze the errors.
func LazyCommit ¶
func LazyCommit(comp *wizard.CompiledIOP)
Converts all the oracle commmitments into messages and ask the verifier to manually verify all queries.
Primary use-case is testing.
Types ¶
This section is empty.
Source Files