Add guest program and ZK proving of the STF

Abierto

#156 abierto el 26/2/2026 2 comentarios 0 reacciones 1 asignado Ver en GitHub

@Sahilgill24 ya está trabajando en esto.

Desde el 17/7/2026.

Evaluación

Este issue todavía no se ha evaluado.

Descripción

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.

Lenguaje dominante: Rust
Estrellas: 82
Forks: 28
Merge medio: 1 d 20 h
PR fusionados (30 d): 20

Guía de contribución

Abrir la guía de contribución

Primeros pasos

Lee el issue completo y luego la guía de contribución del proyecto.
Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
Haz un fork del repositorio y trabaja en una rama.
Abre un pull request que haga referencia al número del issue.

Más de lambdaclass/ethlambda

Handle malformed DB data Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100

lambdaclass/ethlambda#529 · 4 comentarios · Abierto el 20/7/2026
Document architectural choices Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

lambdaclass/ethlambda#521 · 2 comentarios · Abierto el 15/7/2026
Make it possible to run a single node devnet Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

lambdaclass/ethlambda#609 · Abierto el 7/9/2026
Proposer silently skips its slot after every proposer-rotation wrap (slot ≡ 1 mod 512); no failure counted Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

lambdaclass/ethlambda#602 · Abierto el 1/9/2026
refactor(blockchain): return block-building phase timings instead of deltaing histogram sums Abierto

performance

Dificultad 4/5 3-5 días Aptitud para principiantes 55/100

lambdaclass/ethlambda#599 · 1 comentario · Abierto el 31/8/2026

Todos los issues de lambdaclass/ethlambda

Issues similares

Browser (wasm) relay client cannot connect to relays whose URL has a trailing-dot FQDN hostname Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100

n0-computer/iroh#4550 · Abierto el 23/9/2026
impl detach for native Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100

paritytech/zombienet-sdk#591 · Abierto el 23/9/2026
[Bug][Linux/KDE Wayland] 窗口图标显示为通用 “wayland” 占位图标（橙色 W）：安装的 desktop 文件名与 app id 不一致 Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100

farion1231/cc-switch#7638 · 1 comentario · Abierto el 23/9/2026
onnx-ir re-exports ModelProto and GraphProto but not NodeProto, AttributeProto and AttributeType Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100

tracel-ai/burn-onnx#552 · Abierto el 23/9/2026
Slash command /accounting is parsed as /account with label "ing" Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100

1jehuang/jcode#1420 · Abierto el 23/9/2026

Más issues de Rust