Search results

FROST DKG example

Status: Open.

#789 In zkFold/symbolic;

· ajuggler opened on Jan 28, 2026

biFrost: explain minimal "n of m"

Status: Open.

#788 In zkFold/symbolic;

· ajuggler opened on Jan 28, 2026

Implement Omnichain example

Status: Open.

#787 In zkFold/symbolic;

· ajuggler opened on Jan 28, 2026

Update Asterizm documentation

Status: Open.

#786 In zkFold/symbolic;

· ajuggler opened on Jan 28, 2026

Asterizm support

Status: Open.

#783 In zkFold/symbolic;

· ajuggler opened on Jan 20, 2026

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