Round 5

.cargo/config.toml

@@ -1,4 +1,15 @@
 [build]
 # https://github.com/rust-lang/rust/pull/124129
 # https://github.com/dtolnay/linkme/pull/88
-rustflags = ["-Z", "linker-features=-lld"]
+
+[env]
+RUST_BACKTRACE = "1"
+RUST_TEST_NOCAPTURE = "1"
+
+[term]
+verbose = true
+color = 'auto'
+
+[target.x86_64-unknown-linux-gnu]
+linker = "clang"
+rustflags = ["-Z", "linker-features=-lld", "-C", "target-cpu=native"] #, "-C", "link-arg=-fuse-ld=/usr/bin/mold", "-C", "debuginfo=2"]

Cargo.toml

@@ -124,3 +124,27 @@ starky = { git = "https://github.com/0xPolygonZero/plonky2.git", rev = "dc77c77f
 
 [workspace.lints.clippy]
 too_long_first_doc_paragraph = "allow"
+
+[profile.release]
+opt-level = 3
+debug = true
+incremental = true
+debug-assertions = true
+lto = false
+overflow-checks = false
+
+[profile.test]
+opt-level = 3
+debug = true
+incremental = true
+debug-assertions = true
+lto = false
+overflow-checks = false
+
+[profile.dev]
+opt-level = 3
+debug = true
+incremental = true
+debug-assertions = true
+lto = false
+overflow-checks = false

scripts/prove_stdio.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 # ------------------------------------------------------------------------------
-set -exo pipefail
+set -ex
 
 # Run prover with the parsed input from the standard terminal.
 # To generate the json input file, use the `rpc` tool, for example:

scripts/test_native.sh

@@ -149,7 +149,7 @@ echo "Testing against mainnet, current revision: $GITHASH."
 
 #BLOCKS="$CANCUNBLOCKS $RANDOMBLOCKS $ROUND3"
 #BLOCKS="19511272"
-BLOCKS=$RANDOMBLOCKS
+BLOCKS=$ROUND5
 BLOCKS=`echo $BLOCKS | tr ' ' '\n' | sort -nu | tr '\n' ' '`
 echo "Testing blocks: $BLOCKS"