Releases: scroll-tech/gkr-backend
Releases · scroll-tech/gkr-backend
v1.0.0-alpha.25
ci: add CLAUDE.md and Claude Code settings (#46) ci: add CLAUDE.md and .claude/settings.json for Claude Code integration Configure project context (key types, build commands, domain rules, review checklist) and allow-list common read-only cargo/git commands to reduce permission prompts. Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>
add device-backing buffer in RMM
witness: add optional device backing metadata to RowMajorMatrix (#33) * witness: add optional device backing metadata to RowMajorMatrix * test and documentation * docs(witness): clarify device backing is not auto-synced with host mutations Agent-Logs-Url: https://github.com/scroll-tech/gkr-backend/sessions/b2424953-9b2e-4a0c-90b7-95fff6ff7006 Co-authored-by: kunxian-xia <1082586+kunxian-xia@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: kunxian-xia <1082586+kunxian-xia@users.noreply.github.com>
v1.0.0-alpha.23
Highlights:
- sumcheck prover update to build h1(x) without fixed MLEs at r0 from the first round, including reduced-peak-memory flow changes
- optional parallelism dependency migration from rayon to plonky3 maybe-rayon across core crates
- new sumcheck memory benchmark coverage and related test updates
Included commits:
v1.0.0-alpha.22
misc: transcript forked interface
optimize sumcheck protocols prover skip p0 evaluation
sumcheck prover skip eval_0 (#25) * sumcheck prover skip eval_0 * modify sumcheck prover to fit verifier protocol * fmt * simplify basefold verifier query phase * chores: comments decoration
new type of structural witness
new type of structural witness
tracing instrument level trace
v1.0.0-alpha.18 tracing instrument to level trace (#21)
biguint api
v1.0.0-alpha.16 biguint api (#19)
witness rotation api
v1.0.0-alpha.15 rotation support (#18)
v1.0.0-alpha.14
api to convert monomial/expression to dag