Search results

perf: investigate optimizations for single trace proofs

Status: Open.

#50 In 0xMiden/p3-miden;

· adr1anh opened on Mar 12, 2026

perf: optimize constraints evaluation

Status: Open.

#49 In 0xMiden/p3-miden;

· adr1anh opened on Mar 12, 2026

opt: Specialize FRI/DEEP to z and gz

Status: Open.

#47 In 0xMiden/p3-miden;

· adr1anh opened on Mar 9, 2026

feat: add domain separation in Transcript

Status: Open.

#42 In 0xMiden/p3-miden;

· Nashtare opened on Mar 3, 2026

bug: performance issues with accumulators for wide matrices

Status: Open.

#41 In 0xMiden/p3-miden;

· Nashtare opened on Mar 2, 2026

refactor: unify Oracle trait

Status: Open.

#39 In 0xMiden/p3-miden;

· Nashtare opened on Mar 2, 2026

perf: remove 1 bit-reversion to match Winterfell

Status: Open.

#38 In 0xMiden/p3-miden;

· Nashtare opened on Mar 2, 2026

Quotient computation: Per-Air constraint domain

Status: Open.

#31 In 0xMiden/p3-miden;

· adr1anh opened on Feb 23, 2026

Add support for constraint tracking

Status: Open.

#29 In 0xMiden/p3-miden;

· adr1anh opened on Feb 23, 2026

Lifted STARK: Optimize quotient decomposition + coset LDEs

Status: Open.

#28 In 0xMiden/p3-miden;

· adr1anh opened on Feb 23, 2026

Add "simple" LMCS

Status: Open.

#26 In 0xMiden/p3-miden;

· adr1anh opened on Feb 23, 2026

Sync and upstream changes to Plonky3

Status: Open.

#25 In 0xMiden/p3-miden;

· adr1anh opened on Feb 23, 2026