Search results

spec tests: update to v1.7.0-alpha.6

Status: Open.

#38 In dapplion/vibehouse;

· github-actions opened on Apr 29, 2026

spec tests: update to v1.7.0-alpha.5

Status: Open.

#37 In dapplion/vibehouse;

· github-actions opened on Apr 20, 2026

misc code improvements tracked from TODO cleanup

Status: Open.

#36 In dapplion/vibehouse;

· ethvibes opened on Mar 17, 2026

[RFC] ROCQ formal proofs for consensus-critical invariants

Status: Open.

#29 In dapplion/vibehouse;

· TheFrozenFire opened on Feb 17, 2026

[gloas] RFC: ZK execution validity proofs for builder payloads

Status: Open.

#28 In dapplion/vibehouse;

· TheFrozenFire opened on Feb 17, 2026

Feature Request: validators can send private short text messages to each other

Status: Open.

#27 In dapplion/vibehouse;

· chrishobcroft opened on Feb 16, 2026