Search results

Mithril M3

Status: Open.

#780 In zkFold/symbolic;

· vlasin opened on Jan 11, 2026

[<code>symbolic-ledger</code>] <code>ledgerSetup</code> step fails when importing <code>Tests.Symbolic.Ledger.E2E.Two</code> (instead of <code>_.One</code> module) in <code>specE2ECompile</code>

Status: Open.

#768 In zkFold/symbolic;

· sourabhxyz opened on Nov 25, 2025

[<code>symbolic-ledger</code>] <code>LedgerCircuitGates</code> count is not good enough

Status: Open.

#766 In zkFold/symbolic;

· sourabhxyz opened on Nov 25, 2025

Tests for Symbolic V2

Status: Open.

Task

#756 In zkFold/symbolic;

· TurtlePU opened on Nov 17, 2025

Reintroduce <code>SymbolicInput</code> to Symbolic V2

Status: Open.

Task

#740 In zkFold/symbolic;

· TurtlePU opened on Nov 4, 2025

Migrate <code>MerkleTree</code> and its dependents to new Symbolic interface

Status: Open.

Task

#739 In zkFold/symbolic;

· TurtlePU opened on Nov 4, 2025

Migrate remaining datatypes to new Symbolic interface

Status: Open.

Task

#738 In zkFold/symbolic;

· TurtlePU opened on Nov 3, 2025

Migrate <code>UInt</code> and its dependents to new Symbolic interface

Status: Open.

Task

#737 In zkFold/symbolic;

· TurtlePU opened on Nov 3, 2025

Migrate <code>Hash</code> and its dependents to new Symbolic interface

Status: Open.

Task

#736 In zkFold/symbolic;

· TurtlePU opened on Nov 3, 2025

Migrate dependents of <code>FFA</code> to new Symbolic interface

Status: Open.

Task

#735 In zkFold/symbolic;

· TurtlePU opened on Nov 3, 2025

Migrate <code>FFA</code> to new Symbolic interface

Status: Open.

Task

#734 In zkFold/symbolic;

· TurtlePU opened on Nov 3, 2025

Move to Poseidon hash in EdDSA tests and symbolic-ledger once #729 is resolved

Status: Open.

#730 In zkFold/symbolic;

· sourabhxyz opened on Oct 22, 2025