Skip to main content

validate_ordered_buses

hekate_program::permutation

Function validate_ordered_buses 

Source 
pub fn validate_ordered_buses<F: TowerField>(
    tables: &[RankTable<'_, F>],
) -> Result<()>
Expand description

The height-free half of the predicate; sound on any subset of a program’s tables.