AntePoolFactory, ill-intentioned participants may create
AntePoolinstances 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.
Truein a linked Ante Test, all functionality except for