• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

TritonVM / triton-vm
99%

Build:
DEFAULT BRANCH: master
Repo Added 10 Feb 2023 06:38AM UTC
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: master
CHANGE BRANCH
x
Reset
  • master
  • ar_dom
  • asz/jfs/zk
  • asz/tip-0010
  • av
  • bench_infra
  • check_links
  • ci_audit_workflow
  • ci_mem
  • codspeed
  • codspeed_sharding
  • constraint_tests
  • dualicense
  • exclude_eprint
  • faster_circuit_hash
  • fix/ram-table-spec-read-consistency
  • fix_rec_or_ret
  • iter_cons_circuit
  • jfs/check_links_monday
  • jfs/zk
  • lde_ram
  • lychee
  • lychee_action_2.8.0
  • lychee_cache_update
  • make-env-var-name-public
  • mdbook
  • new_benchmark
  • no_test_in_cov
  • remove_parallelism_from_verify_pr
  • repair_wasm_tests
  • row_major_quotients
  • rss_in_profile
  • spec_width
  • stir
  • univariate_batching
  • valid_opcodes
  • wasm
  • zizmor

22 Jun 2026 02:08PM UTC 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
Build:
Build:
16086 RELEVANT LINES 15891 COVERED LINES
9583868.28 HITS PER LINE
Source Files on master
  • Tree
  • List 51
  • Changed 3
  • Source Changed 2
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
27958864725 master chore: Bump proof version push 22 Jun 2026 02:32PM UTC 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 22 Jun 2026 01:14PM UTC jan-ferdinand github
98.78
27680217302 master fix: Make Program Table AIR sound push 17 Jun 2026 10:08AM UTC 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 17 Jun 2026 09:51AM UTC jan-ferdinand github
98.78
27413579519 master fix: Correct constraints of `recurse_or_return` push 12 Jun 2026 12:05PM UTC jan-ferdinand github
98.78
27405373118 master fix: Enforce that executed opcodes are valid push 12 Jun 2026 09:17AM UTC jan-ferdinand github
98.79
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 11 Jun 2026 12:52PM UTC jan-ferdinand github
98.78
27333525154 master fix: Reject proofs with superfluous items push 11 Jun 2026 08:38AM UTC jan-ferdinand github
98.76
27052572038 master fix(LDT): Fix conjectured RS code list size push 06 Jun 2026 04:48AM UTC jan-ferdinand github
98.76
26746787580 master docs: Move Triton assembly tutorial Due to js/wasm cross-origin issues, move the tutorial to the website's repository. push 01 Jun 2026 09:51AM UTC jan-ferdinand github
98.76
See All Builds (776)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc