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

TritonVM / triton-vm / 26026689705
98%

Build:
DEFAULT BRANCH: master
Ran 18 May 2026 10:22AM UTC
Jobs 1
Files 50
Run time 1min
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

18 May 2026 07:59AM UTC coverage: 98.241% (-0.05%) from 98.292%
26026689705

push

github

jan-ferdinand
fix!: Randomize quotient table

This change improves the plausibility with which Triton VM is
Zero-Knowledge: where before, we did not know of a proof-of-ZK, this
new construction has an explicit proof-of-ZK.

As a consequence, Triton VM loses perfect completeness: with negligible
probability, the verifier can sample randomness that would cause the
prover to violate ZK, in which case it aborts.

This endeavor also clarified and documented the following:
1. all Merkle trees for or downstream from the combination codeword leak
   no trace information already;
2. for the Merkle trees over the low-degree-extended, randomized trace
   and randomized quotient tables, one extra coefficient of margin on
   the number of trace randomizers h suffices.

BREAKING CHANGE: The type `QuotientSegments` becomes type
`RandQuotientSegments` to reflect the fact that quotient segments are
always randomized when communicated between prover and verifier.

218 of 228 new or added lines in 2 files covered. (95.61%)

24 existing lines in 3 files now uncovered.

15690 of 15971 relevant lines covered (98.24%)

9479788.86 hits per line

Uncovered Changes

Lines Coverage ∆ File
10
97.67
-0.65% triton-vm/src/stark.rs

Coverage Regressions

Lines Coverage ∆ File
17
97.67
-0.65% triton-vm/src/stark.rs
6
99.2
-0.12% triton-vm/src/table/master_table.rs
1
99.63
-0.18% triton-vm/src/low_degree_test/stir.rs
Jobs
ID Job ID Ran Files Coverage
1 26026689705.1 18 May 2026 10:22AM UTC 50
98.24
GitHub Action Run
Source Files on build 26026689705
  • Tree
  • List 50
  • Changed 8
  • Source Changed 6
  • Coverage Changed 5
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #26026689705
  • b7a9a2f4 on github
  • Prev Build on master (#25799528022)
  • Next Build on master (#26101037998)
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