Cannot verify [Coll[SigmaProp]] Type
I've been toying with the
SigmaProp Type, and for some reason I'm able to verify an outsourced SigmaProp but not a Coll[SigmaProp]
for example: the following script compiles:
but not
it returns the error Cannot find method allZK in object Global$(221), any ideas?4 Replies
Also, I'd like Appkit to support custom SigmaProp creation at some point, but I can do work on that myself
Instead of forall and isProven, you could try just using fold and the && operation. I dont see isProven being used too often so maybe thats the source of the issue
looks like
fold worked, thanks for the suggestion! Might have to look into isProven to see what the issue is later
But also using atLeast(sigmaProps.size, sigmaProps) worked too and is also probably more efficient, idk how I missed that lmao my bad😆 I forgot about that method too