Skip to content

Commit fe3fb47

Browse files
committed
proof producer trace with metadata
1 parent 0b90d78 commit fe3fb47

File tree

101 files changed

+35
-39
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

101 files changed

+35
-39
lines changed

proof-producer/benchmarks/traces/generate_traces.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ fi
88

99
# Compile sample contract
1010
SCRIPT_DIR=`dirname "$0"`
11-
solc -o $SCRIPT_DIR --bin --abi $SCRIPT_DIR/benchmark_data.sol --overwrite --no-cbor-metadata --metadata-hash none
11+
solc -o $SCRIPT_DIR --bin --abi $SCRIPT_DIR/benchmark_data.sol --overwrite --metadata-hash none
1212

1313
# Generate block with hundred increment and hundred exp transactions
1414
$NIL_BIN/nil_block_generator init

proof-producer/tests/bin/proof-producer/resources/traces/collector.py

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -147,7 +147,6 @@ def main():
147147
"--abi",
148148
contract_source_path,
149149
"--overwrite",
150-
"--no-cbor-metadata",
151150
"--metadata-hash", "none"
152151
]
153152
run_command(solc_cmd, log_file=log_file)

proof-producer/tests/bin/proof-producer/resources/traces/corner_cases/addition_overflow/addition_overflow.exp.bin

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
����ؚ��M@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�����Á@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9

proof-producer/tests/bin/proof-producer/resources/traces/corner_cases/addition_overflow/addition_overflow.keccak.bin

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
����ؚ��M@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�����Á@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9

proof-producer/tests/bin/proof-producer/resources/traces/corner_cases/addition_overflow/addition_overflow.mpt.bin

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
����ؚ��M"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�����Á"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
����Ϟ��@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
������@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
����Ϟ��@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
������@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
����Ϟ��"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
������"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
����ԍ��8@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�ݖ��ˆ+@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
����ԍ��8"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�ݖ��ˆ+"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
��ը����X@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
��ۃ���(@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
��ը����X@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
��ۃ���(@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
��ը����X"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
��ۃ���("@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
���򸷝�h@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�����׎-@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
���򸷝�h@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�����׎-@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
���򸷝�h"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�����׎-"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
�����ܐ�W@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�ۉ�����m@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
�����ܐ�W@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�ۉ�����m@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
�����ܐ�W"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�ۉ�����m"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
��������)@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�̃����n@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
��������)@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�̃����n@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
��������)"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�̃����n"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
���͟4@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
��������8@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
���͟4@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
��������8@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
���͟4"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
��������8"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
�������� @a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
��������@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
�������� @a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
��������@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
�������� "@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
��������"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
�����ק�>@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
��������U@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
�����ק�>@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
��������U@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
�����ק�>"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
��������U"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
�����‰Q@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
ś�ڭ��@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
�����‰Q@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
ś�ڭ��@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
�����‰Q"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
ś�ڭ��"@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
��������n@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
�����ꬦO@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
����ր�@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9
1+
���Ί���@a7854f32091eca8f7c93df94688ae61f24f16d1c8c695dcd3315b9d3cad12ad9

proof-producer/tests/bin/proof-producer/test_zkevm_bbf_circuits.cpp

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -77,9 +77,6 @@ TEST_P(ProverTests, FillAssignmentAndCheck) {
7777

7878
using namespace nil::proof_producer::circuits;
7979

80-
// !! note that due to https://github.com/NilFoundation/placeholder/issues/196
81-
// contracts for these traces were compiled with --no-cbor-metadata flag
82-
8380
// Single call of SimpleStorage contract increment + keccakHash functions
8481
const std::string SimpleIncAndKeccak = "simple/simple_inc_and_keccak";
8582
INSTANTIATE_TEST_SUITE_P(SimpleRw, ProverTests, ::testing::Values(Input{SimpleIncAndKeccak, RW}));

0 commit comments

Comments
 (0)