Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat(avm): poseidon2 constraints (#7269)
Token transfer ``` % time AVM_ENABLE_FULL_PROVING=1 build/bin/bb avm_prove --avm-bytecode ~/tmp-8Q3xgk/avm_bytecode.bin --avm-calldata ~/tmp-8Q3xgk/avm_calldata.bin --avm-public-inputs ~/tmp-8Q3xgk/avm_public_inputs.bin --avm-hints ~/tmp-8Q3xgk/avm_hints.bin -o ~/tmp-8Q3xgk -v bytecode size: 31218 calldata size: 6 public_inputs size: 481 hints.storage_value_hints size: 2 hints.note_hash_exists_hints size: 0 hints.nullifier_exists_hints size: 1 hints.l1_to_l2_message_exists_hints size: 0 hints.externalcall_hints size: 0 hints.contract_instance_hints size: 0 using cached crs of size 8388609 at "/mnt/user-data/facundo/.bb-crs/bn254_g1.dat" Deserialized 2524 instructions ------- GENERATING TRACE ------- Trace sizes before padding: main_trace_size: 1638 mem_trace_size: 3880 alu_trace_size: 811 range_check_size: 65536 conv_trace_size: 1 lookup_table_size: 0 sha256_trace_size: 0 poseidon2_trace_size: 0 pedersen_trace_size: 4 gas_trace_size: 1620 fixed_gas_table_size: 65 slice_trace_size: 7 Final trace size: 65537 ------- PROVING EXECUTION ------- proof written to: "/mnt/user-data/facundo/tmp-8Q3xgk/proof" vk written to: "/mnt/user-data/facundo/tmp-8Q3xgk/vk" vk as fields written to: "/mnt/user-data/facundo/tmp-8Q3xgk/vk_fields.json" ------- STATS ------- incl_main_tag_err_ms: 198 incl_mem_tag_err_ms: 195 kernel_output_lookup_ms: 199 lookup_byte_lengths_ms: 202 lookup_byte_operations_ms: 195 lookup_cd_value_ms: 200 lookup_div_u16_0_ms: 219 lookup_div_u16_1_ms: 216 lookup_div_u16_2_ms: 215 lookup_div_u16_3_ms: 214 lookup_div_u16_4_ms: 216 lookup_div_u16_5_ms: 214 lookup_div_u16_6_ms: 215 lookup_div_u16_7_ms: 213 lookup_into_kernel_ms: 198 lookup_mem_rng_chk_hi_ms: 201 lookup_mem_rng_chk_lo_ms: 219 lookup_mem_rng_chk_mid_ms: 218 lookup_opcode_gas_ms: 200 lookup_pow_2_0_ms: 197 lookup_pow_2_1_ms: 196 lookup_ret_value_ms: 203 lookup_u16_0_ms: 217 lookup_u16_10_ms: 218 lookup_u16_11_ms: 214 lookup_u16_12_ms: 214 lookup_u16_13_ms: 214 lookup_u16_14_ms: 216 lookup_u16_1_ms: 216 lookup_u16_2_ms: 215 lookup_u16_3_ms: 216 lookup_u16_4_ms: 217 lookup_u16_5_ms: 215 lookup_u16_6_ms: 214 lookup_u16_7_ms: 214 lookup_u16_8_ms: 214 lookup_u16_9_ms: 217 lookup_u8_0_ms: 195 lookup_u8_1_ms: 193 perm_main_alu_ms: 197 perm_main_bin_ms: 194 perm_main_conv_ms: 196 perm_main_mem_a_ms: 197 perm_main_mem_b_ms: 199 perm_main_mem_c_ms: 200 perm_main_mem_d_ms: 195 perm_main_mem_ind_addr_a_ms: 201 perm_main_mem_ind_addr_b_ms: 202 perm_main_mem_ind_addr_c_ms: 203 perm_main_mem_ind_addr_d_ms: 203 perm_main_pedersen_ms: 198 perm_main_pos2_perm_ms: 193 perm_main_slice_ms: 194 perm_pos_mem_a_ms: 197 perm_pos_mem_b_ms: 197 perm_pos_mem_c_ms: 199 perm_pos_mem_d_ms: 196 perm_slice_mem_ms: 198 prove/check_circuit: 31504 prove/execute_log_derivative_inverse_commitments_round_ms: 550 prove/execute_log_derivative_inverse_round_ms: 12899 prove/execute_pcs_rounds_ms: 803 prove/execute_relation_check_rounds_ms: 2918 prove/execute_wire_commitments_round_ms: 2416 prove/gen_trace: 1105 range_check_da_gas_hi_ms: 219 range_check_da_gas_lo_ms: 220 range_check_l2_gas_hi_ms: 219 range_check_l2_gas_lo_ms: 221 AVM_ENABLE_FULL_PROVING=1 build/bin/bb avm_prove --avm-bytecode -o -v 340.59s user 84.63s system 731% cpu 58.117 total ```
- Loading branch information