Prior to #43, we weren't demonstrating a reduction to actual knowledge soundness (the spec was actually trivially satisfiable).#46 is another instance of the same vacuous shape. It would be a good experiment to other adversarial ways to get around the circuit specifications. We need to also be careful with the way we name our methods which may be assuming a property already holds when it doesn't.
Prior to #43, we weren't demonstrating a reduction to actual knowledge soundness (the spec was actually trivially satisfiable).#46 is another instance of the same vacuous shape. It would be a good experiment to other adversarial ways to get around the circuit specifications. We need to also be careful with the way we name our methods which may be assuming a property already holds when it doesn't.