Search results

Enable --wfail axiom-guard gate once upstream warnings are clean

Status: Open.

#46 In lambdaclass/truth_research_zk;

· Oppen opened on Jun 9, 2026

Connect BabyBear and Goldilocks NTT implementations to MatExpr.ntt code generation

Status: Open.

#19 In lambdaclass/truth_research_zk;

· Oppen opened on Apr 16, 2026

Implement MatExpr.ntt evaluation and C code generation for Z_p

Status: Open.

#18 In lambdaclass/truth_research_zk;

· Oppen opened on Apr 16, 2026

Add integration test for MatExpr.dft with complex twiddle factors

Status: Open.

#17 In lambdaclass/truth_research_zk;

· Oppen opened on Apr 16, 2026

New and want to contribute code!

Status: Open.

#8 In lambdaclass/truth_research_zk;

· fire opened on Apr 6, 2026