List view

Link quotient poly & constraints check

lookupsWork directly on lookups / CTLs.Work directly on lookups / CTLs.

Status: Closed (completed).

#31 In Plonky3/Plonky3-recursion;

· by Nashtare was closed on Sep 22, 2025

Write <code>Recursive</code> trait and structures

Status: Closed (completed).

#51 In Plonky3/Plonky3-recursion;

· by LindaGuiga was closed on Sep 24, 2025

Implement the Recursive trait for FriProofTargets

Status: Closed (completed).

#83 In Plonky3/Plonky3-recursion;

· by LindaGuiga was closed on Sep 24, 2025

Write a <code>RecursivePcs</code> trait and implement it for <code>TwoAdicFriPcs</code>

Status: Closed (completed).

#53 In Plonky3/Plonky3-recursion;

· by LindaGuiga was closed on Sep 25, 2025

Add a <code>generate_challenges</code> method on Plonky3 directly

Status: Not planned (skipped).

#107 In Plonky3/Plonky3-recursion;

· by LindaGuiga was closed on Sep 25, 2025

Validate inner STARK shape/params

Status: Closed (completed).

#30 In Plonky3/Plonky3-recursion;

· by Nashtare was closed on Oct 24, 2025

Add <code>verify_circuit</code>

Status: Closed (abandoned).

Plonky3/Plonky3-recursionnumber 74

#74 In Plonky3/Plonky3-recursion;

· by LindaGuiga was closed on Sep 17, 2025

feat: add <code>RecursiveChallenger</code> for in-circuit FS challenge sampling

Status: Merged (completed).

Plonky3/Plonky3-recursionnumber 143

#143 In Plonky3/Plonky3-recursion;

· by Nashtare was closed on Oct 13, 2025