AntePoolFactory
, ill-intentioned participants may create AntePool
instances that point to an intentionally faulty Ante Test.checkAndFreeze(zkp)
functionality. Specifically, we imagine challengers passing in a zero knowledge proof-of-specific-exploit (a generalized exploit-prover is out of scope of Ante, but specific invariant failures, like "x can be made < y" may be tractable), which then freezes an Ante Template.checkAndFreeze()
returns True
in a linked Ante Test, all functionality except for emergencyWithdraw()
is locked.)False
"