valid_proof
Co-Authored-By: Nashatyrev <Nashatyrev@users.noreply.github.com>
bytes1(x)
bytes2(x)
int_to_bytes1(x)
int_to_bytes2(x)