You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
These functions are, in principle, only called in an unconstrained environment, through the public/public-vm macro. However, they can only be called/mocked from pure (constrained) Noir from tests, like those in shared_mutable.nr. Therefore, we either have to wrap the oracles, or have everyone writing a test using the context have the test be unconstrained. We have opted for the former for better UX, for now.
We have to check if this emits internalcall-return opcodes wrapping the oracles. In that case, the blowup might justify unwrapping them.
The text was updated successfully, but these errors were encountered:
These functions are, in principle, only called in an unconstrained environment, through the
public/public-vm
macro. However, they can only be called/mocked from pure (constrained) Noir from tests, like those inshared_mutable.nr
. Therefore, we either have to wrap the oracles, or have everyone writing a test using the context have the test beunconstrained
. We have opted for the former for better UX, for now.We have to check if this emits internalcall-return opcodes wrapping the oracles. In that case, the blowup might justify unwrapping them.
The text was updated successfully, but these errors were encountered: