Tags: openvm-org/stark-backend
Tags
feat: reserve capacity for perm & quotient LDE; avoid copy for quotie… …nt split (#73) * chore: log quotient poly cells * feat: perm trace reserve extra capacity * feat: quotient no-resize and no-copy * fix: small trace heights * fix: misunderstanding of vertical striding * chore: clarify comment
fix: protect against weak Fiat-Shamir (#54) * fix: protect against weak Fiat-Shamir * add log * feat: switch to row hash to avoid DFT overhead * feat: switch to bincode for stability * use inner pattern for code quality * Revert "feat: switch to bincode for stability" vkey size increases a lot This reverts commit 1e1f7ad.
perf: better interaction chunking by sorting second by count degree (#33 ) * perf: better interaction chunking by sorting second by count degree * chore: bump version
feat(perf): greedy logup chunking (#31) * chore: rename stark logup to fri logup for accuracy * chore: remove RapPartialProvingKey * wip: finish chunking logic in air and perm trace * put back RAP partial proving key we need it for precomputations of interaction chunking * feat: sort before greedy * feat: update keygen * chore: bump version * fix: configure FRI engines to set max constraint degree * feat: make max constraint degree configurable in engine * chore: comment * fix: increase max degree when air constraints exceed * set default back to fri_params.max_constraint_degree * chore: disable gkr logup enum kind
feat: simplify QuotientCommitter trait for performance (#30) * wip: simplify QuotientCommitter trait * updated coordinator * feat: simplify `QuotientCommitter` trait for performance Just have one function for quotient poly eval and commit. Importantly we update the CPU implementation to avoid additional memory allocation when creating a **view** of the trace LDE matrices necessary for quotient poly evaluation. * chore: remove metric from doc
chore(metric): new `quotient_extended_view_time_ms` metric (#29)
feat: hardware abstraction layer (#23) * chore: move debug out of prover (#21) * chore: debug checks don't use perm trace * chore: move debug out of prove * feat: hardware coordinator (#24) * wip: add main prover backend traits * chore: rename MatrixBuffer to MatrixView to reflect metadata * feat: finished coordinator * chore: delete circuit_api * chore: remove unused commit.rs * chore: mv VerifierConstraintFolder out of air_builders since it's not a builder anymore * wip: cpu * cpu prover done * chore * chore * chore: rename Cpu to CpuBackend * feat: data transport trait * fix engine trait * fix lifetimes * fix all tests * chore: rename trait * fix bad regex * chore: make device memory types owned (#28) Even if they are buffers, make them owned types (no Clone) so that when they are dropped, the device memory is automatically deallocated. * revert Arc in RawAirProofInput * chore: update test utils * chore: add assert
PreviousNext