Module nonzerocheck

Source

Functionsยง

validate_witness