Issues · 0xMiden/crypto · GitHub

Labels Milestones New issue

Stark proof: deduplicate rows for lifted traces

#966

· adr1anh opened

on Apr 14, 2026

Use common max domain when lifting traces

#963

· adr1anh opened

on Apr 13, 2026

feat(stark): improve domain separation ergonomics in Transcript

#955

· adr1anh opened

on Apr 9, 2026

feat(stark): add support for constraint tracking

#954

· adr1anh opened

on Apr 9, 2026

Implement soundness calculator

#953

· adr1anh opened

on Apr 9, 2026

Remove local Plonky3 workarounds where upstream now supports them

#952

· adr1anh opened

on Apr 9, 2026

feat(stark): Air preprocessing and caching

#951

· adr1anh opened

on Apr 9, 2026

Optimize quotient decomposition and coset LDEs

#950

· adr1anh opened

on Apr 9, 2026

perf(stark): per-Air constraint domain

#949

· adr1anh opened

on Apr 9, 2026

refactor(stark): unify Oracle trait

#948

· adr1anh opened

on Apr 9, 2026

perf(stark): specialize FRI/DEEP to z and gz

#947

· adr1anh opened

on Apr 9, 2026

perf(stark): optimize constraints evaluation

#946

· adr1anh opened

on Apr 9, 2026