TritonVM / triton-vm / 27958864725

Builds Branch Commit Type Ran Committer Via Coverage
27958864725 master chore: Bump proof version push jan-ferdinand github
98.79
27954134255 master refactor!: Drop `dot_step`, add `horner_step` The highly specific instructions `xb_dot_step` and `xx_dot_step` existed only to speed up computing the inner product of revealed rows with the verifier-sampled challenges in the recursive verifier. W... push jan-ferdinand github
98.78
27933984897 univariate_batching Merge a4b4057d4 into 0f1e3ab1d Pull #432 web-flow github
98.78
27680217302 master fix: Make Program Table AIR sound push jan-ferdinand github
98.78
27678662115 master fix: Make AIR sound Fix various soundness issues in Triton VM's AIR. Co-authored-by: huuhait <huuhadz2k@gmail.com> Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> push jan-ferdinand github
98.78
27413579519 master fix: Correct constraints of `recurse_or_return` push jan-ferdinand github
98.78
27410176482 univariate_batching Merge c34c60463 into 2401ed6cb Pull #432 web-flow github
98.78
27405942731 fix_rec_or_ret Merge 2c69889f4 into 2401ed6cb Pull #436 web-flow github
98.78
27405373118 master fix: Enforce that executed opcodes are valid push jan-ferdinand github
98.79
27347014627 valid_opcodes Merge 2401ed6cb into 3f3400cda Pull #434 web-flow github
98.78
27346910832 master fix(FRI): Don't panic on codeword of wrong length Previously, the FRI verifier panicked when given a too short FRI codeword. Now, the verifier correctly returns an error instead. push jan-ferdinand github
98.78
27346904758 univariate_batching Merge 435eaea78 into c343e51d7 Pull #432 web-flow github
98.77
27339635734 valid_opcodes Merge 5b60ceed7 into c343e51d7 Pull #434 web-flow github
98.77
27333525154 master fix: Reject proofs with superfluous items push jan-ferdinand github
98.76
27090871838 fix/ram-table-spec-read-consistency Merge 227b19532 into 109abd87e Pull #433 web-flow github
98.76