Search results

Integrate <code>leanSpec</code> spec test vectors for testing the Lean Client

Lean

Status: Open.

Task

#867 In ReamLabs/ream;

· shariqnaiyer opened on Oct 21, 2025

· 

pqdevnet1

Remove rustflags for zkVM compilation upon upstream fix

Blocked

Lean

ZK Proving

Status: Open.

#862 In ReamLabs/ream;

· shariqnaiyer opened on Oct 17, 2025

Update containers for SignedBlock and Block

Consensus

Lean

Status: Open.

Feature

#856 In ReamLabs/ream;

· varun-doshi opened on Oct 16, 2025

· 

pqdevnet1

zk proof for state transition function in lean consensus

ZK Proving

Status: Open.

#854 In ReamLabs/ream;

· DimitriosMitsios opened on Oct 16, 2025

Update ethereum_hashing fork

Status: Open.

#852 In ReamLabs/ream;

· Kayden-ML opened on Oct 16, 2025

Integrate the new hash-sig interface for SecretKey

Lean

Status: Open.

Task

#851 In ReamLabs/ream;

· shariqnaiyer opened on Oct 15, 2025

· 

pqdevnet1

Sign &amp; Verify block and attestations

Blocked

Lean

Status: Open.

Feature

#848 In ReamLabs/ream;

· syjn99 opened on Oct 15, 2025

· 

pqdevnet1

Update newly added STF logic for Devnet-1

Consensus

Lean

Status: Open.

Feature

#847 In ReamLabs/ream;

· syjn99 opened on Oct 15, 2025

· 

pqdevnet1

Add functionality for storing/recovering <code>hash-sig</code> Keypair for Devnet-1

Cryptography

Lean

Status: Open.

Feature

#846 In ReamLabs/ream;

· syjn99 opened on Oct 15, 2025

· 

pqdevnet1

PQ Devnet-1 Meta Tracking Issue

Lean

Meta

Status: Open.

#838 In ReamLabs/ream;

· syjn99 opened on Oct 15, 2025

· 

pqdevnet1

Add initial leanMetrics tracking

Lean

Status: Open.

Task

#836 In ReamLabs/ream;

· shariqnaiyer opened on Oct 14, 2025

· 

pqdevnet1

Implement proper ciphertext handling in the keystore file instead of relying on hex encoding

Lean

Status: Open.

Task

#795 In ReamLabs/ream;

· ch4r10t33r opened on Sep 19, 2025