Description:
Proxy contract enabling upgradeable smart contract patterns. Delegates calls to an implementation contract.
Blockchain: Ethereum
Source Code: View Code On The Blockchain
Solidity Source Code:
{{
"language": "Solidity",
"sources": {
"starkware/solidity/verifier/cpu/CairoVerifierContract.sol": {
"content": "/*
Copyright 2019-2025 StarkWare Industries Ltd.
Licensed under the Apache License, Version 2.0 (the "License").
You may not use this file except in compliance with the License.
You may obtain a copy of the License at
https://www.starkware.co/open-source-license/
Unless required by applicable law or agreed to in writing,
software distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions
and limitations under the License.
*/
// SPDX-License-Identifier: Apache-2.0.
pragma solidity ^0.6.12;
abstract contract CairoVerifierContract {
function verifyProofExternal(
uint256[] calldata proofParams,
uint256[] calldata proof,
uint256[] calldata publicInput
) external virtual;
/*
Returns information that is related to the layout.
publicMemoryOffset is the offset of the public memory pages' information in the public input.
selectedBuiltins is a bit-map of builtins that are present in the layout.
*/
function getLayoutInfo()
external
pure
virtual
returns (uint256 publicMemoryOffset, uint256 selectedBuiltins);
uint256 internal constant OUTPUT_BUILTIN_BIT = 0;
uint256 internal constant PEDERSEN_BUILTIN_BIT = 1;
uint256 internal constant RANGE_CHECK_BUILTIN_BIT = 2;
uint256 internal constant ECDSA_BUILTIN_BIT = 3;
uint256 internal constant BITWISE_BUILTIN_BIT = 4;
uint256 internal constant EC_OP_BUILTIN_BIT = 5;
uint256 internal constant KECCAK_BUILTIN_BIT = 6;
uint256 internal constant POSEIDON_BUILTIN_BIT = 7;
}
"
},
"starkware/solidity/verifier/cpu/layout4/CpuConstraintPoly.sol": {
"content": "/*
Copyright 2019-2025 StarkWare Industries Ltd.
Licensed under the Apache License, Version 2.0 (the "License").
You may not use this file except in compliance with the License.
You may obtain a copy of the License at
https://www.starkware.co/open-source-license/
Unless required by applicable law or agreed to in writing,
software distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions
and limitations under the License.
*/
// ---------- The following code was auto-generated. PLEASE DO NOT EDIT. ----------
// SPDX-License-Identifier: Apache-2.0.
pragma solidity ^0.6.12;
contract CpuConstraintPoly {
// The Memory map during the execution of this contract is as follows:
// [0x0, 0x20) - periodic_column/pedersen/points/x.
// [0x20, 0x40) - periodic_column/pedersen/points/y.
// [0x40, 0x60) - trace_length.
// [0x60, 0x80) - offset_size.
// [0x80, 0xa0) - half_offset_size.
// [0xa0, 0xc0) - initial_ap.
// [0xc0, 0xe0) - initial_pc.
// [0xe0, 0x100) - final_ap.
// [0x100, 0x120) - final_pc.
// [0x120, 0x140) - memory/multi_column_perm/perm/interaction_elm.
// [0x140, 0x160) - memory/multi_column_perm/hash_interaction_elm0.
// [0x160, 0x180) - memory/multi_column_perm/perm/public_memory_prod.
// [0x180, 0x1a0) - range_check16/perm/interaction_elm.
// [0x1a0, 0x1c0) - range_check16/perm/public_memory_prod.
// [0x1c0, 0x1e0) - range_check_min.
// [0x1e0, 0x200) - range_check_max.
// [0x200, 0x220) - diluted_check/permutation/interaction_elm.
// [0x220, 0x240) - diluted_check/permutation/public_memory_prod.
// [0x240, 0x260) - diluted_check/first_elm.
// [0x260, 0x280) - diluted_check/interaction_z.
// [0x280, 0x2a0) - diluted_check/interaction_alpha.
// [0x2a0, 0x2c0) - diluted_check/final_cum_val.
// [0x2c0, 0x2e0) - pedersen/shift_point.x.
// [0x2e0, 0x300) - pedersen/shift_point.y.
// [0x300, 0x320) - initial_pedersen_addr.
// [0x320, 0x340) - initial_range_check_addr.
// [0x340, 0x360) - initial_bitwise_addr.
// [0x360, 0x380) - trace_generator.
// [0x380, 0x3a0) - oods_point.
// [0x3a0, 0x460) - interaction_elements.
// [0x460, 0x480) - composition_alpha.
// [0x480, 0x1520) - oods_values.
// ----------------------- end of input data - -------------------------
// [0x1520, 0x1540) - intermediate_value/cpu/decode/opcode_range_check/bit_0.
// [0x1540, 0x1560) - intermediate_value/cpu/decode/opcode_range_check/bit_2.
// [0x1560, 0x1580) - intermediate_value/cpu/decode/opcode_range_check/bit_4.
// [0x1580, 0x15a0) - intermediate_value/cpu/decode/opcode_range_check/bit_3.
// [0x15a0, 0x15c0) - intermediate_value/cpu/decode/flag_op1_base_op0_0.
// [0x15c0, 0x15e0) - intermediate_value/cpu/decode/opcode_range_check/bit_5.
// [0x15e0, 0x1600) - intermediate_value/cpu/decode/opcode_range_check/bit_6.
// [0x1600, 0x1620) - intermediate_value/cpu/decode/opcode_range_check/bit_9.
// [0x1620, 0x1640) - intermediate_value/cpu/decode/flag_res_op1_0.
// [0x1640, 0x1660) - intermediate_value/cpu/decode/opcode_range_check/bit_7.
// [0x1660, 0x1680) - intermediate_value/cpu/decode/opcode_range_check/bit_8.
// [0x1680, 0x16a0) - intermediate_value/cpu/decode/flag_pc_update_regular_0.
// [0x16a0, 0x16c0) - intermediate_value/cpu/decode/opcode_range_check/bit_12.
// [0x16c0, 0x16e0) - intermediate_value/cpu/decode/opcode_range_check/bit_13.
// [0x16e0, 0x1700) - intermediate_value/cpu/decode/fp_update_regular_0.
// [0x1700, 0x1720) - intermediate_value/cpu/decode/opcode_range_check/bit_1.
// [0x1720, 0x1740) - intermediate_value/npc_reg_0.
// [0x1740, 0x1760) - intermediate_value/cpu/decode/opcode_range_check/bit_10.
// [0x1760, 0x1780) - intermediate_value/cpu/decode/opcode_range_check/bit_11.
// [0x1780, 0x17a0) - intermediate_value/cpu/decode/opcode_range_check/bit_14.
// [0x17a0, 0x17c0) - intermediate_value/memory/address_diff_0.
// [0x17c0, 0x17e0) - intermediate_value/range_check16/diff_0.
// [0x17e0, 0x1800) - intermediate_value/pedersen/hash0/ec_subset_sum/bit_0.
// [0x1800, 0x1820) - intermediate_value/pedersen/hash0/ec_subset_sum/bit_neg_0.
// [0x1820, 0x1840) - intermediate_value/range_check_builtin/value0_0.
// [0x1840, 0x1860) - intermediate_value/range_check_builtin/value1_0.
// [0x1860, 0x1880) - intermediate_value/range_check_builtin/value2_0.
// [0x1880, 0x18a0) - intermediate_value/range_check_builtin/value3_0.
// [0x18a0, 0x18c0) - intermediate_value/range_check_builtin/value4_0.
// [0x18c0, 0x18e0) - intermediate_value/range_check_builtin/value5_0.
// [0x18e0, 0x1900) - intermediate_value/range_check_builtin/value6_0.
// [0x1900, 0x1920) - intermediate_value/range_check_builtin/value7_0.
// [0x1920, 0x1940) - intermediate_value/bitwise/sum_var_0_0.
// [0x1940, 0x1960) - intermediate_value/bitwise/sum_var_8_0.
// [0x1960, 0x1da0) - expmods.
// [0x1da0, 0x2040) - domains.
// [0x2040, 0x2260) - denominator_invs.
// [0x2260, 0x2480) - denominators.
// [0x2480, 0x2540) - expmod_context.
fallback() external {
uint256 res;
assembly {
let PRIME := 0x800000000000011000000000000000000000000000000000000000000000001
// Copy input from calldata to memory.
calldatacopy(0x0, 0x0, /*Input data size*/ 0x1520)
let point := /*oods_point*/ mload(0x380)
function expmod(base, exponent, modulus) -> result {
let p := /*expmod_context*/ 0x2480
mstore(p, 0x20) // Length of Base.
mstore(add(p, 0x20), 0x20) // Length of Exponent.
mstore(add(p, 0x40), 0x20) // Length of Modulus.
mstore(add(p, 0x60), base) // Base.
mstore(add(p, 0x80), exponent) // Exponent.
mstore(add(p, 0xa0), modulus) // Modulus.
// Call modexp precompile.
if iszero(staticcall(not(0), 0x05, p, 0xc0, p, 0x20)) {
revert(0, 0)
}
result := mload(p)
}
{
// Prepare expmods for denominators and numerators.
// expmods[0] = point^(trace_length / 2048).
mstore(0x1960, expmod(point, div(/*trace_length*/ mload(0x40), 2048), PRIME))
// expmods[1] = point^(trace_length / 1024).
mstore(0x1980, mulmod(
/*point^(trace_length / 2048)*/ mload(0x1960),
/*point^(trace_length / 2048)*/ mload(0x1960),
PRIME))
// expmods[2] = point^(trace_length / 128).
mstore(0x19a0, expmod(point, div(/*trace_length*/ mload(0x40), 128), PRIME))
// expmods[3] = point^(trace_length / 32).
mstore(0x19c0, expmod(point, div(/*trace_length*/ mload(0x40), 32), PRIME))
// expmods[4] = point^(trace_length / 16).
mstore(0x19e0, mulmod(
/*point^(trace_length / 32)*/ mload(0x19c0),
/*point^(trace_length / 32)*/ mload(0x19c0),
PRIME))
// expmods[5] = point^(trace_length / 4).
mstore(0x1a00, expmod(point, div(/*trace_length*/ mload(0x40), 4), PRIME))
// expmods[6] = point^(trace_length / 2).
mstore(0x1a20, mulmod(
/*point^(trace_length / 4)*/ mload(0x1a00),
/*point^(trace_length / 4)*/ mload(0x1a00),
PRIME))
// expmods[7] = point^trace_length.
mstore(0x1a40, mulmod(
/*point^(trace_length / 2)*/ mload(0x1a20),
/*point^(trace_length / 2)*/ mload(0x1a20),
PRIME))
// expmods[8] = trace_generator^(trace_length / 64).
mstore(0x1a60, expmod(/*trace_generator*/ mload(0x360), div(/*trace_length*/ mload(0x40), 64), PRIME))
// expmods[9] = trace_generator^(trace_length / 32).
mstore(0x1a80, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
PRIME))
// expmods[10] = trace_generator^(3 * trace_length / 64).
mstore(0x1aa0, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(trace_length / 32)*/ mload(0x1a80),
PRIME))
// expmods[11] = trace_generator^(trace_length / 16).
mstore(0x1ac0, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(3 * trace_length / 64)*/ mload(0x1aa0),
PRIME))
// expmods[12] = trace_generator^(5 * trace_length / 64).
mstore(0x1ae0, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(trace_length / 16)*/ mload(0x1ac0),
PRIME))
// expmods[13] = trace_generator^(3 * trace_length / 32).
mstore(0x1b00, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(5 * trace_length / 64)*/ mload(0x1ae0),
PRIME))
// expmods[14] = trace_generator^(7 * trace_length / 64).
mstore(0x1b20, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(3 * trace_length / 32)*/ mload(0x1b00),
PRIME))
// expmods[15] = trace_generator^(trace_length / 8).
mstore(0x1b40, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(7 * trace_length / 64)*/ mload(0x1b20),
PRIME))
// expmods[16] = trace_generator^(9 * trace_length / 64).
mstore(0x1b60, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(trace_length / 8)*/ mload(0x1b40),
PRIME))
// expmods[17] = trace_generator^(5 * trace_length / 32).
mstore(0x1b80, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(9 * trace_length / 64)*/ mload(0x1b60),
PRIME))
// expmods[18] = trace_generator^(11 * trace_length / 64).
mstore(0x1ba0, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(5 * trace_length / 32)*/ mload(0x1b80),
PRIME))
// expmods[19] = trace_generator^(3 * trace_length / 16).
mstore(0x1bc0, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(11 * trace_length / 64)*/ mload(0x1ba0),
PRIME))
// expmods[20] = trace_generator^(13 * trace_length / 64).
mstore(0x1be0, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(3 * trace_length / 16)*/ mload(0x1bc0),
PRIME))
// expmods[21] = trace_generator^(7 * trace_length / 32).
mstore(0x1c00, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(13 * trace_length / 64)*/ mload(0x1be0),
PRIME))
// expmods[22] = trace_generator^(15 * trace_length / 64).
mstore(0x1c20, mulmod(
/*trace_generator^(trace_length / 64)*/ mload(0x1a60),
/*trace_generator^(7 * trace_length / 32)*/ mload(0x1c00),
PRIME))
// expmods[23] = trace_generator^(trace_length / 2).
mstore(0x1c40, expmod(/*trace_generator*/ mload(0x360), div(/*trace_length*/ mload(0x40), 2), PRIME))
// expmods[24] = trace_generator^(3 * trace_length / 4).
mstore(0x1c60, expmod(/*trace_generator*/ mload(0x360), div(mul(3, /*trace_length*/ mload(0x40)), 4), PRIME))
// expmods[25] = trace_generator^(15 * trace_length / 16).
mstore(0x1c80, mulmod(
/*trace_generator^(3 * trace_length / 16)*/ mload(0x1bc0),
/*trace_generator^(3 * trace_length / 4)*/ mload(0x1c60),
PRIME))
// expmods[26] = trace_generator^(63 * trace_length / 64).
mstore(0x1ca0, mulmod(
/*trace_generator^(3 * trace_length / 64)*/ mload(0x1aa0),
/*trace_generator^(15 * trace_length / 16)*/ mload(0x1c80),
PRIME))
// expmods[27] = trace_generator^(255 * trace_length / 256).
mstore(0x1cc0, expmod(/*trace_generator*/ mload(0x360), div(mul(255, /*trace_length*/ mload(0x40)), 256), PRIME))
// expmods[28] = trace_generator^(trace_length - 16).
mstore(0x1ce0, expmod(/*trace_generator*/ mload(0x360), sub(/*trace_length*/ mload(0x40), 16), PRIME))
// expmods[29] = trace_generator^(trace_length - 2).
mstore(0x1d00, expmod(/*trace_generator*/ mload(0x360), sub(/*trace_length*/ mload(0x40), 2), PRIME))
// expmods[30] = trace_generator^(trace_length - 4).
mstore(0x1d20, expmod(/*trace_generator*/ mload(0x360), sub(/*trace_length*/ mload(0x40), 4), PRIME))
// expmods[31] = trace_generator^(trace_length - 1).
mstore(0x1d40, expmod(/*trace_generator*/ mload(0x360), sub(/*trace_length*/ mload(0x40), 1), PRIME))
// expmods[32] = trace_generator^(trace_length - 2048).
mstore(0x1d60, expmod(/*trace_generator*/ mload(0x360), sub(/*trace_length*/ mload(0x40), 2048), PRIME))
// expmods[33] = trace_generator^(trace_length - 128).
mstore(0x1d80, expmod(/*trace_generator*/ mload(0x360), sub(/*trace_length*/ mload(0x40), 128), PRIME))
}
{
// Compute domains.
// Denominator for constraints: 'cpu/decode/opcode_range_check/bit', 'diluted_check/permutation/step0', 'diluted_check/step'.
// domains[0] = point^trace_length - 1.
mstore(0x1da0,
addmod(/*point^trace_length*/ mload(0x1a40), sub(PRIME, 1), PRIME))
// Denominator for constraints: 'memory/multi_column_perm/perm/step0', 'memory/diff_is_bit', 'memory/is_func'.
// domains[1] = point^(trace_length / 2) - 1.
mstore(0x1dc0,
addmod(/*point^(trace_length / 2)*/ mload(0x1a20), sub(PRIME, 1), PRIME))
// Denominator for constraints: 'range_check16/perm/step0', 'range_check16/diff_is_bit', 'pedersen/hash0/ec_subset_sum/booleanity_test', 'pedersen/hash0/ec_subset_sum/add_points/slope', 'pedersen/hash0/ec_subset_sum/add_points/x', 'pedersen/hash0/ec_subset_sum/add_points/y', 'pedersen/hash0/ec_subset_sum/copy_point/x', 'pedersen/hash0/ec_subset_sum/copy_point/y'.
// domains[2] = point^(trace_length / 4) - 1.
mstore(0x1de0,
addmod(/*point^(trace_length / 4)*/ mload(0x1a00), sub(PRIME, 1), PRIME))
// Denominator for constraints: 'cpu/decode/opcode_range_check/zero'.
// Numerator for constraints: 'cpu/decode/opcode_range_check/bit'.
// domains[3] = point^(trace_length / 16) - trace_generator^(15 * trace_length / 16).
mstore(0x1e00,
addmod(
/*point^(trace_length / 16)*/ mload(0x19e0),
sub(PRIME, /*trace_generator^(15 * trace_length / 16)*/ mload(0x1c80)),
PRIME))
// Denominator for constraints: 'cpu/decode/opcode_range_check_input', 'cpu/decode/flag_op1_base_op0_bit', 'cpu/decode/flag_res_op1_bit', 'cpu/decode/flag_pc_update_regular_bit', 'cpu/decode/fp_update_regular_bit', 'cpu/operands/mem_dst_addr', 'cpu/operands/mem0_addr', 'cpu/operands/mem1_addr', 'cpu/operands/ops_mul', 'cpu/operands/res', 'cpu/update_registers/update_pc/tmp0', 'cpu/update_registers/update_pc/tmp1', 'cpu/update_registers/update_pc/pc_cond_negative', 'cpu/update_registers/update_pc/pc_cond_positive', 'cpu/update_registers/update_ap/ap_update', 'cpu/update_registers/update_fp/fp_update', 'cpu/opcodes/call/push_fp', 'cpu/opcodes/call/push_pc', 'cpu/opcodes/call/off0', 'cpu/opcodes/call/off1', 'cpu/opcodes/call/flags', 'cpu/opcodes/ret/off0', 'cpu/opcodes/ret/off2', 'cpu/opcodes/ret/flags', 'cpu/opcodes/assert_eq/assert_eq', 'public_memory_addr_zero', 'public_memory_value_zero'.
// domains[4] = point^(trace_length / 16) - 1.
mstore(0x1e20,
addmod(/*point^(trace_length / 16)*/ mload(0x19e0), sub(PRIME, 1), PRIME))
// Denominator for constraints: 'bitwise/step_var_pool_addr', 'bitwise/partition'.
// domains[5] = point^(trace_length / 32) - 1.
mstore(0x1e40,
addmod(/*point^(trace_length / 32)*/ mload(0x19c0), sub(PRIME, 1), PRIME))
// Denominator for constraints: 'range_check_builtin/value', 'range_check_builtin/addr_step', 'bitwise/x_or_y_addr', 'bitwise/next_var_pool_addr', 'bitwise/or_is_and_plus_xor', 'bitwise/unique_unpacking192', 'bitwise/unique_unpacking193', 'bitwise/unique_unpacking194', 'bitwise/unique_unpacking195'.
// domains[6] = point^(trace_length / 128) - 1.
mstore(0x1e60,
addmod(/*point^(trace_length / 128)*/ mload(0x19a0), sub(PRIME, 1), PRIME))
// Numerator for constraints: 'bitwise/step_var_pool_addr'.
// domains[7] = point^(trace_length / 128) - trace_generator^(3 * trace_length / 4).
mstore(0x1e80,
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(3 * trace_length / 4)*/ mload(0x1c60)),
PRIME))
// Denominator for constraints: 'bitwise/addition_is_xor_with_and'.
// domains[8] = (point^(trace_length / 128) - trace_generator^(trace_length / 64)) * (point^(trace_length / 128) - trace_generator^(trace_length / 32)) * (point^(trace_length / 128) - trace_generator^(3 * trace_length / 64)) * (point^(trace_length / 128) - trace_generator^(trace_length / 16)) * (point^(trace_length / 128) - trace_generator^(5 * trace_length / 64)) * (point^(trace_length / 128) - trace_generator^(3 * trace_length / 32)) * (point^(trace_length / 128) - trace_generator^(7 * trace_length / 64)) * (point^(trace_length / 128) - trace_generator^(trace_length / 8)) * (point^(trace_length / 128) - trace_generator^(9 * trace_length / 64)) * (point^(trace_length / 128) - trace_generator^(5 * trace_length / 32)) * (point^(trace_length / 128) - trace_generator^(11 * trace_length / 64)) * (point^(trace_length / 128) - trace_generator^(3 * trace_length / 16)) * (point^(trace_length / 128) - trace_generator^(13 * trace_length / 64)) * (point^(trace_length / 128) - trace_generator^(7 * trace_length / 32)) * (point^(trace_length / 128) - trace_generator^(15 * trace_length / 64)) * domain6.
{
let domain := mulmod(
mulmod(
mulmod(
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(trace_length / 64)*/ mload(0x1a60)),
PRIME),
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(trace_length / 32)*/ mload(0x1a80)),
PRIME),
PRIME),
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(3 * trace_length / 64)*/ mload(0x1aa0)),
PRIME),
PRIME),
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(trace_length / 16)*/ mload(0x1ac0)),
PRIME),
PRIME)
domain := mulmod(
domain,
mulmod(
mulmod(
mulmod(
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(5 * trace_length / 64)*/ mload(0x1ae0)),
PRIME),
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(3 * trace_length / 32)*/ mload(0x1b00)),
PRIME),
PRIME),
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(7 * trace_length / 64)*/ mload(0x1b20)),
PRIME),
PRIME),
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(trace_length / 8)*/ mload(0x1b40)),
PRIME),
PRIME),
PRIME)
domain := mulmod(
domain,
mulmod(
mulmod(
mulmod(
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(9 * trace_length / 64)*/ mload(0x1b60)),
PRIME),
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(5 * trace_length / 32)*/ mload(0x1b80)),
PRIME),
PRIME),
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(11 * trace_length / 64)*/ mload(0x1ba0)),
PRIME),
PRIME),
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(3 * trace_length / 16)*/ mload(0x1bc0)),
PRIME),
PRIME),
PRIME)
domain := mulmod(
domain,
mulmod(
mulmod(
mulmod(
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(13 * trace_length / 64)*/ mload(0x1be0)),
PRIME),
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(7 * trace_length / 32)*/ mload(0x1c00)),
PRIME),
PRIME),
addmod(
/*point^(trace_length / 128)*/ mload(0x19a0),
sub(PRIME, /*trace_generator^(15 * trace_length / 64)*/ mload(0x1c20)),
PRIME),
PRIME),
/*domains[6]*/ mload(0x1e60),
PRIME),
PRIME)
mstore(0x1ea0, domain)
}
// Denominator for constraints: 'pedersen/hash0/ec_subset_sum/bit_unpacking/last_one_is_zero', 'pedersen/hash0/ec_subset_sum/bit_unpacking/zeroes_between_ones0', 'pedersen/hash0/ec_subset_sum/bit_unpacking/cumulative_bit192', 'pedersen/hash0/ec_subset_sum/bit_unpacking/zeroes_between_ones192', 'pedersen/hash0/ec_subset_sum/bit_unpacking/cumulative_bit196', 'pedersen/hash0/ec_subset_sum/bit_unpacking/zeroes_between_ones196', 'pedersen/hash0/copy_point/x', 'pedersen/hash0/copy_point/y'.
// domains[9] = point^(trace_length / 1024) - 1.
mstore(0x1ec0,
addmod(/*point^(trace_length / 1024)*/ mload(0x1980), sub(PRIME, 1), PRIME))
// Denominator for constraints: 'pedersen/hash0/ec_subset_sum/zeros_tail'.
// Numerator for constraints: 'pedersen/hash0/ec_subset_sum/booleanity_test', 'pedersen/hash0/ec_subset_sum/add_points/slope', 'pedersen/hash0/ec_subset_sum/add_points/x', 'pedersen/hash0/ec_subset_sum/add_points/y', 'pedersen/hash0/ec_subset_sum/copy_point/x', 'pedersen/hash0/ec_subset_sum/copy_point/y'.
// domains[10] = point^(trace_length / 1024) - trace_generator^(255 * trace_length / 256).
mstore(0x1ee0,
addmod(
/*point^(trace_length / 1024)*/ mload(0x1980),
sub(PRIME, /*trace_generator^(255 * trace_length / 256)*/ mload(0x1cc0)),
PRIME))
// Denominator for constraints: 'pedersen/hash0/ec_subset_sum/bit_extraction_end'.
// domains[11] = point^(trace_length / 1024) - trace_generator^(63 * trace_length / 64).
mstore(0x1f00,
addmod(
/*point^(trace_length / 1024)*/ mload(0x1980),
sub(PRIME, /*trace_generator^(63 * trace_length / 64)*/ mload(0x1ca0)),
PRIME))
// Numerator for constraints: 'pedersen/hash0/copy_point/x', 'pedersen/hash0/copy_point/y'.
// domains[12] = point^(trace_length / 2048) - trace_generator^(trace_length / 2).
mstore(0x1f20,
addmod(
/*point^(trace_length / 2048)*/ mload(0x1960),
sub(PRIME, /*trace_generator^(trace_length / 2)*/ mload(0x1c40)),
PRIME))
// Denominator for constraints: 'pedersen/hash0/init/x', 'pedersen/hash0/init/y', 'pedersen/input0_value0', 'pedersen/input0_addr', 'pedersen/input1_value0', 'pedersen/input1_addr', 'pedersen/output_value0', 'pedersen/output_addr'.
// domains[13] = point^(trace_length / 2048) - 1.
mstore(0x1f40,
addmod(/*point^(trace_length / 2048)*/ mload(0x1960), sub(PRIME, 1), PRIME))
// Denominator for constraints: 'final_ap', 'final_fp', 'final_pc'.
// Numerator for constraints: 'cpu/update_registers/update_pc/tmp0', 'cpu/update_registers/update_pc/tmp1', 'cpu/update_registers/update_pc/pc_cond_negative', 'cpu/update_registers/update_pc/pc_cond_positive', 'cpu/update_registers/update_ap/ap_update', 'cpu/update_registers/update_fp/fp_update'.
// domains[14] = point - trace_generator^(trace_length - 16).
mstore(0x1f60,
addmod(point, sub(PRIME, /*trace_generator^(trace_length - 16)*/ mload(0x1ce0)), PRIME))
// Denominator for constraints: 'initial_ap', 'initial_fp', 'initial_pc', 'memory/multi_column_perm/perm/init0', 'memory/initial_addr', 'range_check16/perm/init0', 'range_check16/minimum', 'diluted_check/permutation/init0', 'diluted_check/init', 'diluted_check/first_element', 'pedersen/init_addr', 'range_check_builtin/init_addr', 'bitwise/init_var_pool_addr'.
// domains[15] = point - 1.
mstore(0x1f80,
addmod(point, sub(PRIME, 1), PRIME))
// Denominator for constraints: 'memory/multi_column_perm/perm/last'.
// Numerator for constraints: 'memory/multi_column_perm/perm/step0', 'memory/diff_is_bit', 'memory/is_func'.
// domains[16] = point - trace_generator^(trace_length - 2).
mstore(0x1fa0,
addmod(point, sub(PRIME, /*trace_generator^(trace_length - 2)*/ mload(0x1d00)), PRIME))
// Denominator for constraints: 'range_check16/perm/last', 'range_check16/maximum'.
// Numerator for constraints: 'range_check16/perm/step0', 'range_check16/diff_is_bit'.
// domains[17] = point - trace_generator^(trace_length - 4).
mstore(0x1fc0,
addmod(point, sub(PRIME, /*trace_generator^(trace_length - 4)*/ mload(0x1d20)), PRIME))
// Denominator for constraints: 'diluted_check/permutation/last', 'diluted_check/last'.
// Numerator for constraints: 'diluted_check/permutation/step0', 'diluted_check/step'.
// domains[18] = point - trace_generator^(trace_length - 1).
mstore(0x1fe0,
addmod(point, sub(PRIME, /*trace_generator^(trace_length - 1)*/ mload(0x1d40)), PRIME))
// Numerator for constraints: 'pedersen/input0_addr'.
// domains[19] = point - trace_generator^(trace_length - 2048).
mstore(0x2000,
addmod(point, sub(PRIME, /*trace_generator^(trace_length - 2048)*/ mload(0x1d60)), PRIME))
// Numerator for constraints: 'range_check_builtin/addr_step', 'bitwise/next_var_pool_addr'.
// domains[20] = point - trace_generator^(trace_length - 128).
mstore(0x2020,
addmod(point, sub(PRIME, /*trace_generator^(trace_length - 128)*/ mload(0x1d80)), PRIME))
}
{
// Prepare denominators for batch inverse.
// denominators[0] = domains[0].
mstore(0x2260, /*domains[0]*/ mload(0x1da0))
// denominators[1] = domains[3].
mstore(0x2280, /*domains[3]*/ mload(0x1e00))
// denominators[2] = domains[4].
mstore(0x22a0, /*domains[4]*/ mload(0x1e20))
// denominators[3] = domains[14].
mstore(0x22c0, /*domains[14]*/ mload(0x1f60))
// denominators[4] = domains[15].
mstore(0x22e0, /*domains[15]*/ mload(0x1f80))
// denominators[5] = domains[1].
mstore(0x2300, /*domains[1]*/ mload(0x1dc0))
// denominators[6] = domains[16].
mstore(0x2320, /*domains[16]*/ mload(0x1fa0))
// denominators[7] = domains[2].
mstore(0x2340, /*domains[2]*/ mload(0x1de0))
// denominators[8] = domains[17].
mstore(0x2360, /*domains[17]*/ mload(0x1fc0))
// denominators[9] = domains[18].
mstore(0x2380, /*domains[18]*/ mload(0x1fe0))
// denominators[10] = domains[9].
mstore(0x23a0, /*domains[9]*/ mload(0x1ec0))
// denominators[11] = domains[10].
mstore(0x23c0, /*domains[10]*/ mload(0x1ee0))
// denominators[12] = domains[11].
mstore(0x23e0, /*domains[11]*/ mload(0x1f00))
// denominators[13] = domains[13].
mstore(0x2400, /*domains[13]*/ mload(0x1f40))
// denominators[14] = domains[6].
mstore(0x2420, /*domains[6]*/ mload(0x1e60))
// denominators[15] = domains[5].
mstore(0x2440, /*domains[5]*/ mload(0x1e40))
// denominators[16] = domains[8].
mstore(0x2460, /*domains[8]*/ mload(0x1ea0))
}
{
// Compute the inverses of the denominators into denominatorInvs using batch inverse.
// Start by computing the cumulative product.
// Let (d_0, d_1, d_2, ..., d_{n-1}) be the values in denominators. After this loop
// denominatorInvs will be (1, d_0, d_0 * d_1, ...) and prod will contain the value of
// d_0 * ... * d_{n-1}.
// Compute the offset between the partialProducts array and the input values array.
let productsToValuesOffset := 0x220
let prod := 1
let partialProductEndPtr := 0x2260
for { let partialProductPtr := 0x2040 }
lt(partialProductPtr, partialProductEndPtr)
{ partialProductPtr := add(partialProductPtr, 0x20) } {
mstore(partialProductPtr, prod)
// prod *= d_{i}.
prod := mulmod(prod,
mload(add(partialProductPtr, productsToValuesOffset)),
PRIME)
}
let firstPartialProductPtr := 0x2040
// Compute the inverse of the product.
let prodInv := expmod(prod, sub(PRIME, 2), PRIME)
if eq(prodInv, 0) {
// Solidity generates reverts with reason that look as follows:
// 1. 4 bytes with the constant 0x08c379a0 (== Keccak256(b'Error(string)')[:4]).
// 2. 32 bytes offset bytes (always 0x20 as far as i can tell).
// 3. 32 bytes with the length of the revert reason.
// 4. Revert reason string.
mstore(0, 0x08c379a000000000000000000000000000000000000000000000000000000000)
mstore(0x4, 0x20)
mstore(0x24, 0x1e)
mstore(0x44, "Batch inverse product is zero.")
revert(0, 0x62)
}
// Compute the inverses.
// Loop over denominator_invs in reverse order.
// currentPartialProductPtr is initialized to one past the end.
let currentPartialProductPtr := 0x2260
for { } gt(currentPartialProductPtr, firstPartialProductPtr) { } {
currentPartialProductPtr := sub(currentPartialProductPtr, 0x20)
// Store 1/d_{i} = (d_0 * ... * d_{i-1}) * 1/(d_0 * ... * d_{i}).
mstore(currentPartialProductPtr,
mulmod(mload(currentPartialProductPtr), prodInv, PRIME))
// Update prodInv to be 1/(d_0 * ... * d_{i-1}) by multiplying by d_i.
prodInv := mulmod(prodInv,
mload(add(currentPartialProductPtr, productsToValuesOffset)),
PRIME)
}
}
{
// Compute the result of the composition polynomial.
{
// cpu/decode/opcode_range_check/bit_0 = column0_row0 - (column0_row1 + column0_row1).
let val := addmod(
/*column0_row0*/ mload(0x480),
sub(
PRIME,
addmod(/*column0_row1*/ mload(0x4a0), /*column0_row1*/ mload(0x4a0), PRIME)),
PRIME)
mstore(0x1520, val)
}
{
// cpu/decode/opcode_range_check/bit_2 = column0_row2 - (column0_row3 + column0_row3).
let val := addmod(
/*column0_row2*/ mload(0x4c0),
sub(
PRIME,
addmod(/*column0_row3*/ mload(0x4e0), /*column0_row3*/ mload(0x4e0), PRIME)),
PRIME)
mstore(0x1540, val)
}
{
// cpu/decode/opcode_range_check/bit_4 = column0_row4 - (column0_row5 + column0_row5).
let val := addmod(
/*column0_row4*/ mload(0x500),
sub(
PRIME,
addmod(/*column0_row5*/ mload(0x520), /*column0_row5*/ mload(0x520), PRIME)),
PRIME)
mstore(0x1560, val)
}
{
// cpu/decode/opcode_range_check/bit_3 = column0_row3 - (column0_row4 + column0_row4).
let val := addmod(
/*column0_row3*/ mload(0x4e0),
sub(
PRIME,
addmod(/*column0_row4*/ mload(0x500), /*column0_row4*/ mload(0x500), PRIME)),
PRIME)
mstore(0x1580, val)
}
{
// cpu/decode/flag_op1_base_op0_0 = 1 - (cpu__decode__opcode_range_check__bit_2 + cpu__decode__opcode_range_check__bit_4 + cpu__decode__opcode_range_check__bit_3).
let val := addmod(
1,
sub(
PRIME,
addmod(
addmod(
/*intermediate_value/cpu/decode/opcode_range_check/bit_2*/ mload(0x1540),
/*intermediate_value/cpu/decode/opcode_range_check/bit_4*/ mload(0x1560),
PRIME),
/*intermediate_value/cpu/decode/opcode_range_check/bit_3*/ mload(0x1580),
PRIME)),
PRIME)
mstore(0x15a0, val)
}
{
// cpu/decode/opcode_range_check/bit_5 = column0_row5 - (column0_row6 + column0_row6).
let val := addmod(
/*column0_row5*/ mload(0x520),
sub(
PRIME,
addmod(/*column0_row6*/ mload(0x540), /*column0_row6*/ mload(0x540), PRIME)),
PRIME)
mstore(0x15c0, val)
}
{
// cpu/decode/opcode_range_check/bit_6 = column0_row6 - (column0_row7 + column0_row7).
let val := addmod(
/*column0_row6*/ mload(0x540),
sub(
PRIME,
addmod(/*column0_row7*/ mload(0x560), /*column0_row7*/ mload(0x560), PRIME)),
PRIME)
mstore(0x15e0, val)
}
{
// cpu/decode/opcode_range_check/bit_9 = column0_row9 - (column0_row10 + column0_row10).
let val := addmod(
/*column0_row9*/ mload(0x5a0),
sub(
PRIME,
addmod(/*column0_row10*/ mload(0x5c0), /*column0_row10*/ mload(0x5c0), PRIME)),
PRIME)
mstore(0x1600, val)
}
{
// cpu/decode/flag_res_op1_0 = 1 - (cpu__decode__opcode_range_check__bit_5 + cpu__decode__opcode_range_check__bit_6 + cpu__decode__opcode_range_check__bit_9).
let val := addmod(
1,
sub(
PRIME,
addmod(
addmod(
/*intermediate_value/cpu/decode/opcode_range_check/bit_5*/ mload(0x15c0),
/*intermediate_value/cpu/decode/opcode_range_check/bit_6*/ mload(0x15e0),
PRIME),
/*intermediate_value/cpu/decode/opcode_range_check/bit_9*/ mload(0x1600),
PRIME)),
PRIME)
mstore(0x1620, val)
}
{
// cpu/decode/opcode_range_check/bit_7 = column0_row7 - (column0_row8 + column0_row8).
let val := addmod(
/*column0_row7*/ mload(0x560),
sub(
PRIME,
addmod(/*column0_row8*/ mload(0x580), /*column0_row8*/ mload(0x580), PRIME)),
PRIME)
mstore(0x1640, val)
}
{
// cpu/decode/opcode_range_check/bit_8 = column0_row8 - (column0_row9 + column0_row9).
let val := addmod(
/*column0_row8*/ mload(0x580),
sub(
PRIME,
addmod(/*column0_row9*/ mload(0x5a0), /*column0_row9*/ mload(0x5a0), PRIME)),
PRIME)
mstore(0x1660, val)
}
{
// cpu/decode/flag_pc_update_regular_0 = 1 - (cpu__decode__opcode_range_check__bit_7 + cpu__decode__opcode_range_check__bit_8 + cpu__decode__opcode_range_check__bit_9).
let val := addmod(
1,
sub(
PRIME,
addmod(
addmod(
/*intermediate_value/cpu/decode/opcode_range_check/bit_7*/ mload(0x1640),
/*intermediate_value/cpu/decode/opcode_range_check/bit_8*/ mload(0x1660),
PRIME),
/*intermediate_value/cpu/decode/opcode_range_check/bit_9*/ mload(0x1600),
PRIME)),
PRIME)
mstore(0x1680, val)
}
{
// cpu/decode/opcode_range_check/bit_12 = column0_row12 - (column0_row13 + column0_row13).
let val := addmod(
/*column0_row12*/ mload(0x600),
sub(
PRIME,
addmod(/*column0_row13*/ mload(0x620), /*column0_row13*/ mload(0x620), PRIME)),
PRIME)
mstore(0x16a0, val)
}
{
// cpu/decode/opcode_range_check/bit_13 = column0_row13 - (column0_row14 + column0_row14).
let val := addmod(
/*column0_row13*/ mload(0x620),
sub(
PRIME,
addmod(/*column0_row14*/ mload(0x640), /*column0_row14*/ mload(0x640), PRIME)),
PRIME)
mstore(0x16c0, val)
}
{
// cpu/decode/fp_update_regular_0 = 1 - (cpu__decode__opcode_range_check__bit_12 + cpu__decode__opcode_range_check__bit_13).
let val := addmod(
1,
sub(
PRIME,
addmod(
/*intermediate_value/cpu/decode/opcode_range_check/bit_12*/ mload(0x16a0),
/*intermediate_value/cpu/decode/opcode_range_check/bit_13*/ mload(0x16c0),
PRIME)),
PRIME)
mstore(0x16e0, val)
}
{
// cpu/decode/opcode_range_check/bit_1 = column0_row1 - (column0_row2 + column0_row2).
let val := addmod(
/*column0_row1*/ mload(0x4a0),
sub(
PRIME,
addmod(/*column0_row2*/ mload(0x4c0), /*column0_row2*/ mload(0x4c0), PRIME)),
PRIME)
mstore(0x1700, val)
}
{
// npc_reg_0 = column3_row0 + cpu__decode__opcode_range_check__bit_2 + 1.
let val := addmod(
addmod(
/*column3_row0*/ mload(0xaa0),
/*intermediate_value/cpu/decode/opcode_range_check/bit_2*/ mload(0x1540),
PRIME),
1,
PRIME)
mstore(0x1720, val)
}
{
// cpu/decode/opcode_range_check/bit_10 = column0_row10 - (column0_row11 + column0_row11).
let val := addmod(
/*column0_row10*/ mload(0x5c0),
sub(
PRIME,
addmod(/*column0_row11*/ mload(0x5e0), /*column0_row11*/ mload(0x5e0), PRIME)),
PRIME)
mstore(0x1740, val)
}
{
// cpu/decode/opcode_range_check/bit_11 = column0_row11 - (column0_row12 + column0_row12).
let val := addmod(
/*column0_row11*/ mload(0x5e0),
sub(
PRIME,
addmod(/*column0_row12*/ mload(0x600), /*column0_row12*/ mload(0x600), PRIME)),
PRIME)
mstore(0x1760, val)
}
{
// cpu/decode/opcode_range_check/bit_14 = column0_row14 - (column0_row15 + column0_row15).
let val := addmod(
/*column0_row14*/ mload(0x640),
sub(
PRIME,
addmod(/*column0_row15*/ mload(0x660), /*column0_row15*/ mload(0x660), PRIME)),
PRIME)
mstore(0x1780, val)
}
{
// memory/address_diff_0 = column4_row2 - column4_row0.
let val := addmod(/*column4_row2*/ mload(0xea0), sub(PRIME, /*column4_row0*/ mload(0xe60)), PRIME)
mstore(0x17a0, val)
}
{
// range_check16/diff_0 = column5_row6 - column5_row2.
let val := addmod(/*column5_row6*/ mload(0xfa0), sub(PRIME, /*column5_row2*/ mload(0xf20)), PRIME)
mstore(0x17c0, val)
}
{
// pedersen/hash0/ec_subset_sum/bit_0 = column6_row0 - (column6_row4 + column6_row4).
let val := addmod(
/*column6_row0*/ mload(0x11a0),
sub(
PRIME,
addmod(/*column6_row4*/ mload(0x1220), /*column6_row4*/ mload(0x1220), PRIME)),
PRIME)
mstore(0x17e0, val)
}
{
// pedersen/hash0/ec_subset_sum/bit_neg_0 = 1 - pedersen__hash0__ec_subset_sum__bit_0.
let val := addmod(
1,
sub(PRIME, /*intermediate_value/pedersen/hash0/ec_subset_sum/bit_0*/ mload(0x17e0)),
PRIME)
mstore(0x1800, val)
}
{
// range_check_builtin/value0_0 = column5_row12.
let val := /*column5_row12*/ mload(0x1000)
mstore(0x1820, val)
}
{
// range_check_builtin/value1_0 = range_check_builtin__value0_0 * offset_size + column5_row28.
let val := addmod(
mulmod(
/*intermediate_value/range_check_builtin/value0_0*/ mload(0x1820),
/*offset_size*/ mload(0x60),
PRIME),
/*column5_row28*/ mload(0x1020),
PRIME)
mstore(0x1840, val)
}
{
// range_check_builtin/value2_0 = range_check_builtin__value1_0 * offset_size + column5_row44.
let val := addmod(
mulmod(
/*intermediate_value/range_check_builtin/value1_0*/ mload(0x1840),
/*offset_size*/ mload(0x60),
PRIME),
/*column5_row44*/ mload(0x1040),
PRIME)
mstore(0x1860, val)
}
{
// range_check_builtin/value3_0 = range_check_builtin__value2_0 * offset_size + column5_row60.
let val := addmod(
mulmod(
/*intermediate_value/range_check_builtin/value2_0*/ mload(0x1860),
/*offset_size*/ mload(0x60),
PRIME),
/*column5_row60*/ mload(0x1060),
PRIME)
mstore(0x1880, val)
}
{
// range_check_builtin/value4_0 = range_check_builtin__value3_0 * offset_size + column5_row76.
let val := addmod(
mulmod(
/*intermediate_value/range_check_builtin/value3_0*/ mload(0x1880),
/*offset_size*/ mload(0x60),
PRIME),
/*column5_row76*/ mload(0x1080),
PRIME)
mstore(0x18a0, val)
}
{
// range_check_builtin/value5_0 = range_check_builtin__value4_0 * offset_size + column5_row92.
let val := addmod(
mulmod(
/*intermediate_value/range_check_builtin/value4_0*/ mload(0x18a0),
/*offset_size*/ mload(0x60),
PRIME),
/*column5_row92*/ mload(0x10a0),
PRIME)
mstore(0x18c0, val)
}
{
// range_check_builtin/value6_0 = range_check_builtin__value5_0 * offset_size + column5_row108.
let val := addmod(
mulmod(
/*intermediate_value/range_check_builtin/value5_0*/ mload(0x18c0),
/*offset_size*/ mload(0x60),
PRIME),
/*column5_row108*/ mload(0x10c0),
PRIME)
mstore(0x18e0, val)
}
{
// range_check_builtin/value7_0 = range_check_builtin__value6_0 * offset_size + column5_row124.
let val := addmod(
mulmod(
/*intermediate_value/range_check_builtin/value6_0*/ mload(0x18e0),
/*offset_size*/ mload(0x60),
PRIME),
/*column5_row124*/ mload(0x10e0),
PRIME)
mstore(0x1900, val)
}
{
// bitwise/sum_var_0_0 = column1_row0 + column1_row2 * 2 + column1_row4 * 4 + column1_row6 * 8 + column1_row8 * 18446744073709551616 + column1_row10 * 36893488147419103232 + column1_row12 * 73786976294838206464 + column1_row14 * 147573952589676412928.
let val := addmod(
addmod(
addmod(
addmod(
addmod(
addmod(
addmod(
/*column1_row0*/ mload(0x680),
mulmod(/*column1_row2*/ mload(0x6c0), 2, PRIME),
PRIME),
mulmod(/*column1_row4*/ mload(0x6e0), 4, PRIME),
PRIME),
mulmod(/*column1_row6*/ mload(0x700), 8, PRIME),
PRIME),
mulmod(/*column1_row8*/ mload(0x720), 18446744073709551616, PRIME),
PRIME),
mulmod(/*column1_row10*/ mload(0x740), 36893488147419103232, PRIME),
PRIME),
mulmod(/*column1_row12*/ mload(0x760), 73786976294838206464, PRIME),
PRIME),
mulmod(/*column1_row14*/ mload(0x780), 147573952589676412928, PRIME),
PRIME)
mstore(0x1920, val)
}
{
// bitwise/sum_var_8_0 = column1_row16 * 340282366920938463463374607431768211456 + column1_row18 * 680564733841876926926749214863536422912 + column1_row20 * 1361129467683753853853498429727072845824 + column1_row22 * 2722258935367507707706996859454145691648 + column1_row24 * 6277101735386680763835789423207666416102355444464034512896 + column1_row26 * 12554203470773361527671578846415332832204710888928069025792 + column1_row28 * 25108406941546723055343157692830665664409421777856138051584 + column1_row30 * 50216813883093446110686315385661331328818843555712276103168.
let val := addmod(
addmod(
addmod(
addmod(
addmod(
addmod(
addmod(
mulmod(/*column1_row16*/ mload(0x7a0), 340282366920938463463374607431768211456, PRIME),
mulmod(/*column1_row18*/ mload(0x7c0), 680564733841876926926749214863536422912, PRIME),
PRIME),
mulmod(/*column1_row20*/ mload(0x7e0), 1361129467683753853853498429727072845824, PRIME),
PRIME),
mulmod(/*column1_row22*/ mload(0x800), 2722258935367507707706996859454145691648, PRIME),
PRIME),
mulmod(
/*column1_row24*/ mload(0x820),
6277101735386680763835789423207666416102355444464034512896,
PRIME),
PRIME),
mulmod(
/*column1_row26*/ mload(0x840),
12554203470773361527671578846415332832204710888928069025792,
PRIME),
PRIME),
mulmod(
/*column1_row28*/ mload(0x860),
25108406941546723055343157692830665664409421777856138051584,
PRIME),
PRIME),
mulmod(
/*column1_row30*/ mload(0x880),
50216813883093446110686315385661331328818843555712276103168,
PRIME),
PRIME)
mstore(0x1940, val)
}
let composition_alpha_pow := 1
let composition_alpha := /*composition_alpha*/ mload(0x460)
{
// Constraint expression for cpu/decode/opcode_range_check/bit: cpu__decode__opcode_range_check__bit_0 * cpu__decode__opcode_range_check__bit_0 - cpu__decode__opcode_range_check__bit_0.
let val := addmod(
mulmod(
/*intermediate_value/cpu/decode/opcode_range_check/bit_0*/ mload(0x1520),
/*intermediate_value/cpu/decode/opcode_range_check/bit_0*/ mload(0x1520),
PRIME),
sub(PRIME, /*intermediate_value/cpu/decode/opcode_range_check/bit_0*/ mload(0x1520)),
PRIME)
// Numerator: point^(trace_length / 16) - trace_generator^(15 * trace_length / 16).
// val *= domains[3].
val := mulmod(val, /*domains[3]*/ mload(0x1e00), PRIME)
// Denominator: point^trace_length - 1.
// val *= denominator_invs[0].
val := mulmod(val, /*denominator_invs[0]*/ mload(0x2040), PRIME)
// res += val * alpha ** 0.
res := addmod(res, mulmod(val, composition_alpha_pow, PRIME), PRIME)
composition_alpha_pow := mulmod(composition_alpha_pow, composition_alpha, PRIME)
}
{
// Constraint expression for cpu/decode/opcode_range_check/zero: column0_row0.
let val := /*column0_row0*/ mload(0x480)
// Numerator: 1.
// val *= 1.
// Denominator: point^(trace_length / 16) - trace_generator^(15 * trace_length / 16).
// val *= denominator_invs[1].
val := mulmod(val, /*denominator_invs[1]*/ mload(0x2060), PRIME)
// res += val * alpha ** 1.
res := addmod(res, mulmod(val, composition_alpha_pow, PRIME), PRIME)
composition_alpha_pow := mulmod(composition_alpha_pow, composition_alpha, PRIME)
}
{
// Constraint expression for cpu/decode/opcode_range_check_input: column3_row1 - (((column0_row0 * offset_size + column5_row4) * offset_size + column5_row8) * offset_size + column5_row0).
let val := addmod(
/*column3_row1*/ mload(0xac0),
sub(
PRIME,
addmod(
mulmod(
addmod(
mulmod(
addmod(
mulmod(/*column0_row0*/ mload(0x480), /*offset_size*/ mload(0x60), PRIME),
/*column5_row4*/ mload(0xf60),
PRIME),
/*offset_size*/ mload(0x60),
PRIME),
/*column5_row8*/ mload(0xfe0),
PRIME),
/*offset_size*/ mload(0x60),
PRIME),
/*column5_row0*/ mload(0xee0),
PRIME)),
PRIME)
// Numerator: 1.
// val *= 1.
// Denominator: point^(trace_length / 16) - 1.
// val *= denominator_invs[2].
val := mulmod(val, /*denominator_invs[2]*/ mload(0x2080), PRIME)
// res += val * alpha ** 2.
res := addmod(res, mulmod(val, composition_alpha_pow, PRIME), PRIME)
composition_alpha_pow := mulmod(composition_alpha_pow, composition_alpha, PRIME)
}
{
// Constraint expression for cpu/decode/flag_op1_base_op0_bit: cpu__decode__flag_op1_base_op0_0 * cpu__decode__flag_op1_base_op0_0 - cpu__decode__flag_op1_base_op0_0.
let val := addmod(
mulmod(
/*intermediate_value/cpu/decode/flag_op1_base_op0_0*/ mload(0x15a0),
/*intermediate_value/cpu/decode/flag_op1_base_op0_0*/ mload(0x15a0),
PRIME),
sub(PRIME, /*intermediate_value/cpu/decode/flag_op1_base_op0_0*/ mload(0x15a0)),
PRIME)
// Numerator: 1.
// val *= 1.
// Denominator: point^(trace_length / 16) - 1.
// val *= denominator_invs[2].
val := mulmod(val, /*denominator_invs[2]*/ mload(0x2080), PRIME)
// res += val * alpha ** 3.
res := addmod(res, mulmod(val, composition_alpha_pow, PRIME), PRIME)
composition_alpha_pow := mulmod(composition_alpha_pow, composition_alpha, PRIME)
}
{
// Constraint expression for cpu/decode/flag_res_op1_bit: cpu__decode__flag_res_op1_0 * cpu__decode__flag_res_op1_0 - cpu__decode__flag_res_op1_0.
let val := addmod(
mulmod(
/*intermediate_value/cpu/decode/flag_res_op1_0*/ mload(0x1620),
/*intermediate_value/cpu/decode/flag_res_op1_0*/ mload(0x1620),
PRIME),
sub(PRIME, /*intermediate_value/cpu/decode/flag_res_op1_0*/ mload(0x1620)),
PRIME)
// Numerator: 1.
// val *= 1.
// Denominator: point^(trace_length / 16) - 1.
// val *= denominator_invs[2].
val := mulmod(val, /*denominator_invs[2]*/ mload(0x2080), PRIME)
// res += val * alpha ** 4.
res := addmod(res, mulmod(val, composition_alpha_pow, PRIME), PRIME)
composition_alpha_pow := mulmod(composition_alpha_pow, composition_alpha, PRIME)
}
{
// Constraint expression for cpu/decode/flag_pc_update_regular_bit: cpu__decode__flag_pc_update_regular_0 * cpu__decode__flag_pc_update_regular_0 - cpu__decode__flag_pc_update_regular_0.
let val := addmod(
mulmod(
/*intermediate_value/cpu/decode/flag_pc_update_regular_0*/ mload(0x1680),
/*intermediate_value/cpu/decode/flag_pc_update_regular_0*/ mload(0x1680),
PRIME),
sub(PRIME, /*intermediate_value/cpu/decode/flag_pc_update_regular_0*/ mload(0x1680)),
PRIME)
// Numerator: 1.
// val *= 1.
// Denominator: point^(trace_length / 16) - 1.
// val *= denominator_invs[2].
val := mulmod(val, /*denominator_invs[2]*/ mload(0x2080), PRIME)
// res += val * alpha ** 5.
res := addmod(res, mulmod(val, composition_alpha_pow, PRIME), PRIME)
composition_alpha_pow := mulmod(composition_alpha_pow, composition_alpha, PRIME)
}
{
// Constraint expression for cpu/decode/fp_update_regular_bit: cpu__decode__fp_update_regular_0 * cpu__decode__fp_update_regular_0 - cpu__decode__fp_update_regular_0.
let val := addmod(
mulmod(
/*intermediate_value/cpu/decode/fp_update_regular_0*/ mload(0x16e0),
/*intermediate_value/cpu/decode/fp_update_regular_0*/ mload(0x16e0),
PRIME),
sub(PRIME, /*intermediate_value/cpu/decode/fp_update_regular_0*/ mload(0x16e0)),
PRIME)
// Numerator: 1.
// val *= 1.
// Denominator: point^(trace_length / 16) - 1.
// val *= denominator_invs[2].
val := mulmod(val, /*denominator_invs[2]*/ mload(0x2080), PRIME)
// res += val * alpha ** 6.
res := addmod(res, mulmod(val, composition_alpha_pow, PRIME), PRIME)
composition_alpha_pow := mulmod(composition_alpha_pow, composition_alpha, PRIME)
}
{
// Constraint expression for cpu/operands/mem_dst_addr: column3_row8 + half_offset_size - (cpu__decode__opcode_range_check__bit_0 * column6_row9 + (1 - cpu__decode__opcode_range_check__bit_0) * column6_row1 + column5_row0).
let val := addmod(
addmod(/*column3_row8*/ mload(0xb60), /*half_offset_size*/ mload(0x80), PRIME),
sub(
PRIME,
addmod(
addmod(
mulmod(
/*intermediate_value/cpu/decode/opcode_range_check/bit_0*/ mload(0x1520),
/*column6_row9*/ mload(0x1280),
PRIME),
mulmod(
addmod(
1,
sub(PRIME, /*intermediate_value/cpu/decode/opcode_range_check/bit_0*/ mload(0x1520)),
PRIME),
/*column6_row1*/ mload(0x11c0),
PRIME),
PRIME),
/*column5_row0*/ mload(0xee0),
PRIME)),
PRIME)
// Numerator: 1.
// val *= 1.
// Denominator: point^(trace_length / 16) - 1.
// val *= denominator_invs[2].
val := mulmod(val, /*denominator_invs[2]*/ mload(0x2080), PRIME)
// res += val * alpha ** 7.
res := addmod(res, mulmod(val, composition_alpha_pow, PRIME), PRIME)
composition_alpha_pow := mulmod(composition_alpha_pow, composition_alpha, PRIME)
}
{
// Constraint expression for cpSubmitted on: 2025-10-08 10:52:30
Comments
Log in to comment.
No comments yet.