TritonVM / triton-vm
99%

DEFAULT BRANCH: master
Repo Added
Files 51
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH master
branch: SELECT
CHANGE BRANCH
x

coverage: 98.788% (+0.006%) from 98.782%
27958864725

push

github

jan-ferdinand 
chore: Bump proof version

15891 of 16086 relevant lines covered (98.79%)

9583868.28 hits per line

Relevant lines Covered
16086 RELEVANT LINES 15891 COVERED LINES
9583868.28 HITS PER LINE
Source Files on master

Recent builds

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
See All Builds (776)