binius_
core
0.1.0
Module validate
Module Items
Functions
In binius_
core::
constraint_
system
binius_core
::
constraint_system
Module
validate
Copy item path
source
Functions
ยง
validate_
virtual_
oracle_
witness
validate_
witness