Skip to content

feat: support proofs ExEx#980

Merged
meyer9 merged 3 commits intomainfrom
meyer9/wip
Feb 26, 2026
Merged

feat: support proofs ExEx#980
meyer9 merged 3 commits intomainfrom
meyer9/wip

Conversation

@meyer9
Copy link
Contributor

@meyer9 meyer9 commented Feb 25, 2026

This isn't really supported until 0.5.0, but adds configuration for enabling the proofs ExEx.

@cb-heimdall
Copy link
Collaborator

cb-heimdall commented Feb 25, 2026

✅ Heimdall Review Status

Requirement Status More Info
Reviews 1/1
Denominator calculation
Show calculation
1 if user is bot 0
1 if user is external 0
2 if repo is sensitive 0
From .codeflow.yml 1
Additional review requirements
Show calculation
Max 0
0
From CODEOWNERS 0
Global minimum 0
Max 1
1
1 if commit is unverified 0
Sum 1

@meyer9 meyer9 changed the title Meyer9/wip Support proofs Feb 25, 2026
@meyer9 meyer9 marked this pull request as ready for review February 25, 2026 22:47
@meyer9 meyer9 changed the title Support proofs feat: support proofs ExEx Feb 25, 2026
# shut down gracefully
kill "$PID"

wait "$PID"
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Has this been tested?

From Devin:
wait "$PID" exits script due to set -e after killing the reth process
After kill "$PID" sends SIGTERM to the background reth process on line 89, wait "$PID" on line 91 returns exit code 143 (128 + 15 for SIGTERM). Because the script runs with set -eu (reth/reth-entrypoint:2), this non-zero exit code causes the script to abort immediately. Lines 92-104 (including the proofs init command and the final exec) are never reached.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It has been tested. I think Devin is wrong. I don't think it gets aborted because it's forked to a different process.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ah I see, I guess wait returns the exit code of the child process. SIGTERM should return exit code 0 for reth though because it gracefully shuts down.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

and the exit handler does catch SIGTERM gracefully

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

interestingly, it seems like Reth might be technically wrong to do this... https://stackoverflow.com/a/57944209

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ignored exit code here just in case: dc52b6c

P2P_PORT="${P2P_PORT:-30303}"
ADDITIONAL_ARGS=""
BINARY="./base-reth-node"
NODE_TYPE="${NODE_TYPE:-base}"
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

not used, maybe delete?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

"warn")
LOG_LEVEL="vv"
;;
"info"|*)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

please be exhaustive here, otherwise, error / trace level maps to info

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

--datadir="$RETH_DATA_DIR" \
--proofs-history.storage-path=$RETH_HISTORICAL_PROOFS_STORAGE_PATH

sleep 60
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

do we need the sleep here? is proofs init async?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't think we do. Not sure why this was added.

@meyer9 meyer9 requested a review from 0x00101010 February 26, 2026 01:34
@meyer9 meyer9 merged commit 6e9cb08 into main Feb 26, 2026
11 checks passed
@meyer9 meyer9 deleted the meyer9/wip branch February 26, 2026 18:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants