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
Most of the verifier's time is spent "compiling" the constraints at runtime when the Air is created. We should move the "compiling" to compile time. Can do this by changing the Mul, Add, Sub etc. on Constraint to be const impls once const_trait_impl (i.e. rust-lang/rust#67792) is stable.
The text was updated successfully, but these errors were encountered:
Most of the verifier's time is spent "compiling" the constraints at runtime when the Air is created. We should move the "compiling" to compile time. Can do this by changing the
Mul
,Add
,Sub
etc. on Constraint to be const impls once const_trait_impl (i.e. rust-lang/rust#67792) is stable.The text was updated successfully, but these errors were encountered: