binius_core::constraint_system

Module validate

Source

Modules§

nonzerocheck

Functions§

validate_virtual_oracle_witness
validate_witness