Search results

Allow observing a slice of algebra elements in the transcript

Status: Open.

#40 In 0xMiden/Plonky3;

· Leo-Besancon opened on Dec 17, 2025

FRI verification fails with <code>log_folding_factor &gt; 1</code>

Status: Open.

#38 In 0xMiden/Plonky3;

· Al-Kindi-0 opened on Dec 16, 2025

Rename <code>miden-prover</code> and <code>miden-air</code> to avoid conflicts with <code>miden-vm</code>

Status: Open.

#37 In 0xMiden/Plonky3;

· Al-Kindi-0 opened on Dec 16, 2025

Remove <code>winter-utils</code> dependency from <code>p3-goldilocks</code>

Status: Open.

#36 In 0xMiden/Plonky3;

· Al-Kindi-0 opened on Dec 16, 2025

Add <code>Blake3_192</code> Support

Status: Open.

#35 In 0xMiden/Plonky3;

· Al-Kindi-0 opened on Dec 16, 2025

Implement Security Level Estimator

Status: Open.

#34 In 0xMiden/Plonky3;

· Al-Kindi-0 opened on Dec 16, 2025

Consider split prove/verify functions to avoid dummy trait implementations

Status: Open.

#29 In 0xMiden/Plonky3;

· huitseeker opened on Dec 10, 2025

Refactor miden-prover folder logic into separate module or crate

Status: Open.

#28 In 0xMiden/Plonky3;

· huitseeker opened on Dec 10, 2025

Remove or properly annotate dead code

good first issueGood for newcomersGood for newcomers

Status: Open.

#27 In 0xMiden/Plonky3;

· huitseeker opened on Dec 10, 2025

Optimize FRI folding with const generics and avoid allocations

Status: Open.

#26 In 0xMiden/Plonky3;

· huitseeker opened on Dec 10, 2025

Optimize duplicate work in periodic column evaluation

Status: Open.

#25 In 0xMiden/Plonky3;

· huitseeker opened on Dec 10, 2025

Fix extension field type confusion in SymbolicAirBuilder

Status: Open.

#24 In 0xMiden/Plonky3;

· huitseeker opened on Dec 10, 2025