Skip to content

Commit b6352d3

Browse files
committed
proof producer trace with metadata
1 parent 24c1a66 commit b6352d3

File tree

99 files changed

+34
-35
lines changed

Some content is hidden

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

99 files changed

+34
-35
lines changed

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

0 commit comments

Comments
 (0)