Add guest program and ZK proving of the STF
@Sahilgill24 is already working on this.
Since Jul 17, 2026.
Assessment
This issue has not been assessed yet.
Description
The Lean chain endgame includes ZK proving of the STF for quick block validity checking. We should start preparing for it, following in Zeam's footsteps.
- Dominant language
- Rust
- Stars
- 82
- Forks
- 28
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 20
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from lambdaclass/ethlambda
-
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
lambdaclass/ethlambda#529 · 4 comments ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
lambdaclass/ethlambda#521 · 2 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
lambdaclass/ethlambda#609 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
lambdaclass/ethlambda#602 ·
-
performance
Difficulty 4/5 3-5 days Newbie friendliness 55/100
lambdaclass/ethlambda#599 · 1 comment ·
All issues in lambdaclass/ethlambda
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
-
issue
Difficulty 2/5 1-3 hours Newbie friendliness 65/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
-
agentic-workflows
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
web-infra-dev/rspack#15847 ·