Öffentliches Register
Software-GesundheitsberichtSchema 0.27.0 · Metriken 1.13.0 · 2026-07-25 07:28 UTC

TritonVM / triton-vm

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

RustApache-2.0★ 278 Sterne⑂ 57 Forksseit Nov. 2021Auf GitHub ansehen ↗

TritonVM/triton-vm erreicht einen Gesundheitsindex von 65 von 100 und liegt damit im Bereich Mittel. Am stärksten schneidet es bei Security (75/100) ab, am schwächsten bei AI Readiness (47/100). Zuletzt vor 32 Tagen aktualisiert. Ein einzelner Mitwirkender trägt den Großteil der jüngsten Arbeit.

65
gesamt / 100
Mittel

Software-Gesundheitsindex

Metriken werden auf einer Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr Mittel; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze 49 (Gefährdet). AI Readiness liegt außerhalb.

65
Exzellent85-100Vorbildlich; erfüllt im Wesentlichen alle geprüften Kriterien
Gut70-84Gesund; geringfügige Lücken
Mittel50-69Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Gefährdet30-49Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-29Schwerwiegende Probleme (aufgegeben, nur ein Maintainer, keine Hygiene)
VitalitätCommunity &VerbreitungNachhaltigkeit &GovernanceEngineering-QualitätSicherheitAI Readiness

Bewertungsprofil

Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.

Eigentümerschaft

Triton VMOrganisation
37 Follower7 öffentliche Reposseit Mai 2022

Dieses Repository wird von einer Organisation getragen — geteilte, rechenschaftspflichtige Trägerschaft, die jeden einzelnen Maintainer überdauern kann.

Paket-Ökosysteme

RegistryPaketVersionDownloads / MonatVersionenZuletzt veröffentlichtTags
crates.iotriton-vm7.0.01.49768vor 37 Tagenrecursivestarkvirtual-machinezero-knowledgecryptographymathematics
crates.iotriton-air7.0.01.14118vor 37 Tagen
crates.iotriton-isa7.0.01.15818vor 37 Tagen
crates.iotriton-constraint-builder7.0.01.12418vor 37 Tagen
crates.iotriton-constraint-circuit7.0.01.15918vor 37 Tagen

Metriken nach Kategorie

Vitalität

Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?

74Gut · 22 % des Gesamtindex
Wie die Bewertung erfolgt
18/36Push-Aktualität — letzter Push vor 32 Tagen
16.6/36Commit-Rhythmus — 24/52 Wochen mit Commits
17.2/18Commit-Volumen — 81 Commits im letzten Jahr
10/10OpenSSF Scorecard: Maintained — 30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10
Verwendete Eingangsdaten
commits_last_year81
human_commit_share1
days_since_last_push32
active_weeks_last_year24
Wie die Bewertung erfolgt
27/27Liefert Releases aus — 10 Releases veröffentlicht
36/36Release-Aktualität — letztes Release vor 74 Tagen
19.8/27Release-Rhythmus — ein Release etwa alle 60,3 Tage
0/10OpenSSF Scorecard: Signed-Releases — keine Daten
Verwendete Eingangsdaten
releases_count10
latest_release_tagv3.0.0
releases_from_tagsnein
days_since_latest_release74
mean_days_between_releases60,3
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): OpenSSF Scorecard: Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.

Community & Verbreitung

Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?

64Mittel · 18 % des Gesamtindex
Wie die Bewertung erfolgt
39.6/60Stars — 278 Stars
14.6/25Forks — 57 Forks
6.2/15Watcher — 14 Watcher
Verwendete Eingangsdaten
forks57
stars278
watchers14
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history
Wie die Bewertung erfolgt
22.5/22.5README
22.5/22.5Lizenz — anerkannte Lizenz (Apache-2.0)
18/18CONTRIBUTING-Leitfaden
0/13.5Verhaltenskodex
0/7.2Issue-Vorlage
0/6.3PR-Vorlage
Verwendete Eingangsdaten
has_readmeja
has_licenseja
has_contributingja
has_issue_templatenein
has_code_of_conductnein
has_pull_request_templatenein
Wie die Bewertung erfolgt
50.5/80Downloads pro Monat — 6.079 Downloads/Monat über crates
0/20Abhängige in der Registry — von diesem Ökosystem nicht ausgewiesen
Verwendete Eingangsdaten
packagestriton-vm, triton-air, triton-isa, triton-constraint-builder, triton-constraint-circuit
dependents
ecosystemscrates
total_downloads259.671
monthly_downloads6.079
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Abhängige in der Registry. Die verbleibenden Gewichte wurden renormalisiert.

Nachhaltigkeit & Governance

Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?

62Mittel · 24 % des Gesamtindex
Wie die Bewertung erfolgt
9/54Bus-Faktor — 1 Beitragende decken die Hälfte aller Commits ab
4.6/22.5Commit-Verteilung — wichtigste beitragende Person verfasste 80 % der Commits
10.8/13.5Breite der Beitragenden — 8 Beitragende
10/10OpenSSF Scorecard: Contributors — project has 6 contributing companies or organizations
Verwendete Eingangsdaten
bus_factor1
contributors_sampled8
top_contributor_share0,796
Wie die Bewertung erfolgt
40.1/46.8Issue-Lösungsquote — 86 % der Issues geschlossen
29.7/38.3PR-Annahme — 177/228 entschiedene PRs gemergt
3/15OpenSSF Scorecard: Code-Review — Found 5/24 approved changesets -- score normalized to 2
Verwendete Eingangsdaten
merged_prs177
open_issues28
closed_issues168
issue_closed_ratio0,857
closed_unmerged_prs51
Wie die Bewertung erfolgt
30/30Organisatorische Trägerschaft — im Besitz einer Organisation
0/20Verifizierte Domain
11.4/25Reichweite des Inhabers — 37 Follower von TritonVM
15/25Kontohistorie — 7 öffentliche Repos, Kontoalter ca. 4 Jahre
Verwendete Eingangsdaten
followers37
owner_typeOrganization
is_verified
owner_loginTritonVM
public_repos7
account_age_days1.534

Paketpflege

100Exzellent
Wie die Bewertung erfolgt
25/25Veröffentlicht & auflösbar — 5 Paket(e) auf crates
35/35Veröffentlichungsaktualität — letzte Veröffentlichung vor 37 Tagen
20/20Versionshistorie — 68 veröffentlichte Versionen
20/20Nicht veraltet — aktiv, nicht veraltet oder zurückgezogen
Verwendete Eingangsdaten
packagestriton-vm, triton-air, triton-isa, triton-constraint-builder, triton-constraint-circuit
ecosystemscrates
any_deprecatednein
min_days_since_publish37

Engineering-Qualität

Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?

52Mittel · 20 % des Gesamtindex
Wie die Bewertung erfolgt
24/24CI-Workflows — 8 Workflow(s)
0/24Tests vorhanden
0/16Linter-Konfiguration
0/9.6Pre-Commit-Hooks
0/6.4.editorconfig
20/20OpenSSF Scorecard: CI-Tests — 6 out of 6 merged PRs checked by a CI test -- score normalized to 10
Verwendete Eingangsdaten
has_cija
has_testsnein
has_editorconfignein
has_linter_confignein
has_precommit_confignein
Wie die Bewertung erfolgt
30/30README
0/25Dokumentationsverzeichnis
15/15Dokumentations-/Homepage-Site — https://triton-vm.org
10/10Repository-Beschreibung
10/10Topics — 5 Topics
0/10Wiki
Verwendete Eingangsdaten
topicsrust, cryptography, stark, zero-knowledge, zk-starks
has_wikinein
homepagehttps://triton-vm.org
has_readmeja
has_docs_dirnein
has_descriptionja

Sicherheit

Sind die sichtbaren Sicherheits- und Lieferkettenpraktiken belastbar, ohne ungeklärte Exposition gegenüber Hochrisikojurisdiktionen?

75Gut · 16 % des Gesamtindex
Wie die Bewertung erfolgt
7.5/7.5Binary-Artifacts — no binaries found in the repo
0/7.5Branch-Protection — keine Daten
2.5/2.5CI-Tests — 6 out of 6 merged PRs checked by a CI test -- score normalized to 10
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
1.5/7.5Code-Review — Found 5/24 approved changesets -- score normalized to 2
2.5/2.5Contributors — project has 6 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5Dependency-Update-Tool — no update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5Lizenz — license file detected
7.5/7.5Maintained — 30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10
0/5Packaging — keine Daten
5/5Pinned-Dependencies — all dependencies are pinned
5/5SAST — SAST tool is run on all commits
5/5Security-Policy — security policy file detected
0/7.5Signed-Releases — keine Daten
7.5/7.5Token-Permissions — GitHub workflow tokens follow principle of least privilege
7.5/7.5Vulnerabilities — 0 existing vulnerabilities detected
Verwendete Eingangsdaten
sourceopenssf_scorecard
checks_evaluated15
scorecard_versionv5.5.0
checks_inconclusive3
scorecard_aggregate7,5
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): branch_protection, packaging, signed_releases. Die verbleibenden Gewichte wurden renormalisiert.

AI Readiness

Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Ein unabhängiges, experimentelles Badge — Gewicht 0,0, es wird eigenständig ausgewiesen und verändert den Gesamt-Gesundheitswert nicht.

47Gefährdet · 0 % des Gesamtindex
Wie die Bewertung erfolgt
0/45Agentenanweisungen — keine CLAUDE.md / AGENTS.md / Editor-Regeln
0/15Maschinenlesbare Doku (llms.txt)
40/40Lesbare Commit-Historie — 100 von 100 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text)
Verwendete Eingangsdaten
has_llms_txtnein
legible_history_share1
agent_instruction_files
agent_instruction_max_bytes
Wie die Bewertung erfolgt
12.6/18Bootstrap mit einem Befehl — Cargo.toml, triton-air/Cargo.toml, triton-constraint-builder/Cargo.toml (Toolchain-Konvention, kein Task-Runner)
0/22Automatisierte Tests
0/11Lint-/Format-Konfiguration
11/11Statische Typprüfung — Rust (statisch typisiert)
0/10Reproduzierbare Umgebung
4/10Belegte Agentenpraxis — 2 der letzten 100 Commits von Agenten verfasst oder ihnen zugeschrieben
0/8Automatisierte Wartung — keine automatisierten Abhängigkeits-Updates beobachtet
10/10OpenSSF Scorecard: Pinned-Dependencies — all dependencies are pinned
Verwendete Eingangsdaten
has_nixnein
has_testsnein
lockfiles
has_dockerfilenein
typed_languageja
bootstrap_files
has_devcontainernein
has_linter_confignein
typecheck_configs
agent_commit_share0,02
toolchain_manifestsCargo.toml, triton-air/Cargo.toml, triton-constraint-builder/Cargo.toml, triton-constraint-circuit/Cargo.toml, triton-dev-util/Cargo.toml, triton-isa/Cargo.toml, triton-vm/Cargo.toml
dependency_bot_commit_share0
Wie die Bewertung erfolgt
45/45Typprüfbarer Code — Rust (statisch typisiert)
48.2/55Handhabbare Dateigrößen — 9/73 Quelldateien über 60 KB
Verwendete Eingangsdaten
primary_languageRust
largest_source_bytes218.656
source_files_sampled73
oversized_source_files9
Wie die Bewertung erfolgt
0/40API-Schema (OpenAPI/GraphQL/proto)
0/20MCP-Server
40/40Lauffähige Beispiele — examples
Verwendete Eingangsdaten
example_dirsexamples
has_mcp_signalnein
api_schema_files

Eckdaten

278GitHub-Sterne
8Mitwirkende
81Commits, letzte 12 Monate
32Tage seit letztem Push
10Releases
1Bus-Faktor
28offene Issues
crates.ioPaket-Ökosysteme

Warnungen zur Datenerhebung

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • Could not fetch crates package 'triton-dev-util' from its registry
  • No resolved dependencies carried a version and a supported ecosystem

Weitere Details

Stern- und Fork-Verlauf 0 ★ / 57 ⇿
0Sterne
57Forks
9Releases

Wann jeder Stern und Fork hinzugefügt wurde, von GitHub erfasst und nach Tagen gruppiert. Das kumulierte Wachstum steht direkt über den täglichen Zugängen, aus denen es besteht, sodass beide gegeneinander lesbar sind: stetiger organischer Zuwachs sieht ganz anders aus als ein abrupter, kurzlebiger Ausschlag. Wo dieser Unterschied messbar ist, wird er als Wachstumsauthentizität ausgewiesen.

01020304050605332022-072024-062026-04
Major 2Minor 6Patch 1

Jeder Punkt umfasst 4 Tage.

OpenSSF Scorecard 7.5 / 10
7.5Gesamtwert

Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).Scorecard v5.5.0 · 2026-07-25 07:28 UTC

10Binary-Artifactsno binaries found in the repo
k. A.Branch-Protectioninternal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md
10CI-Tests6 out of 6 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
2Code-ReviewFound 5/24 approved changesets -- score normalized to 2
10Contributorsproject has 6 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10
k. A.Packagingpackaging workflow not detected
10Pinned-Dependenciesall dependencies are pinned
10SASTSAST tool is run on all commits
10Security-Policysecurity policy file detected
k. A.Signed-Releasesno releases found
10Token-PermissionsGitHub workflow tokens follow principle of least privilege
10Vulnerabilities0 existing vulnerabilities detected
Direkte Abhängigkeiten 55
RegistryPaketVersionsvorgabeManifest
crates.ioarbitrarytriton-air/Cargo.toml
crates.ioconstraint-circuittriton-air/Cargo.toml
crates.ioisatriton-air/Cargo.toml
crates.ioitertoolstriton-air/Cargo.toml
crates.iostrumtriton-air/Cargo.toml
crates.iotwenty-firsttriton-air/Cargo.toml
crates.ioairtriton-constraint-builder/Cargo.toml
crates.ioconstraint-circuittriton-constraint-builder/Cargo.toml
crates.ioisatriton-constraint-builder/Cargo.toml
crates.ioitertoolstriton-constraint-builder/Cargo.toml
crates.ioprettypleasetriton-constraint-builder/Cargo.toml
crates.ioproc-macro2triton-constraint-builder/Cargo.toml
crates.ioquotetriton-constraint-builder/Cargo.toml
crates.iostrumtriton-constraint-builder/Cargo.toml
crates.iosyntriton-constraint-builder/Cargo.toml
crates.iotwenty-firsttriton-constraint-builder/Cargo.toml
crates.ioarbitrarytriton-constraint-circuit/Cargo.toml
crates.ioitertoolstriton-constraint-circuit/Cargo.toml
crates.ionum-traitstriton-constraint-circuit/Cargo.toml
crates.iondarraytriton-constraint-circuit/Cargo.toml
crates.ioproc-macro2triton-constraint-circuit/Cargo.toml
crates.ioquotetriton-constraint-circuit/Cargo.toml
crates.iotwenty-firsttriton-constraint-circuit/Cargo.toml
crates.iobontriton-dev-util/Cargo.toml
crates.iotriton-vmtriton-dev-util/Cargo.toml
crates.ioarbitrarytriton-isa/Cargo.toml
crates.ioget-size2triton-isa/Cargo.toml
crates.ioitertoolstriton-isa/Cargo.toml
crates.iolazy_statictriton-isa/Cargo.toml
crates.ionomtriton-isa/Cargo.toml
crates.ionom-languagetriton-isa/Cargo.toml
crates.ionum-traitstriton-isa/Cargo.toml
crates.ioserdetriton-isa/Cargo.toml
crates.iostrumtriton-isa/Cargo.toml
crates.iothiserrortriton-isa/Cargo.toml
crates.iotwenty-firsttriton-isa/Cargo.toml
crates.ioairtriton-vm/Cargo.toml
crates.ioarbitrarytriton-vm/Cargo.toml
crates.iocoloredtriton-vm/Cargo.toml
crates.ioconstraint-buildertriton-vm/Cargo.toml
crates.ioget-size2triton-vm/Cargo.toml
crates.ioindexmaptriton-vm/Cargo.toml
crates.ioisatriton-vm/Cargo.toml
crates.ioitertoolstriton-vm/Cargo.toml
crates.iomemory-statstriton-vm/Cargo.toml
crates.iondarraytriton-vm/Cargo.toml
crates.ionum-traitstriton-vm/Cargo.toml
crates.iorandtriton-vm/Cargo.toml
crates.iorayontriton-vm/Cargo.toml
crates.ioserdetriton-vm/Cargo.toml
crates.iostrumtriton-vm/Cargo.toml
crates.iothiserrortriton-vm/Cargo.toml
crates.iotwenty-firsttriton-vm/Cargo.toml
crates.iounicode-widthtriton-vm/Cargo.toml
crates.ioweb-timetriton-vm/Cargo.toml
Alle Abhängigkeiten 2

Vollständig aufgelöster Abhängigkeitssatz aus dem GitHub-Abhängigkeitsgraphen: 0 direkte und 2 indirekte (transitive) Pakete. Die transitive Hülle ist vollständig, wenn das Repository eine Lockfile eincheckt.

RegistryPaketVersionBeziehung
crates.iocriterionindirekt
crates.iowasm-bindgen-testindirekt
Abhängigkeits-Advisories nicht bewertet

Der Advisory-Abgleich konnte für diesen Bericht nicht ausgeführt werden: No resolved dependencies carried a version and a supported ecosystem

JSON-Rohbericht maschinenlesbar
{
  "data": {
    "repo": {
      "topics": [
        "rust",
        "cryptography",
        "stark",
        "zero-knowledge",
        "zk-starks"
      ],
      "is_fork": false,
      "size_kb": 12990,
      "has_wiki": false,
      "homepage": "https://triton-vm.org",
      "languages": {
        "CSS": 72,
        "Rust": 1738833
      },
      "pushed_at": "2026-06-22T14:08:44Z",
      "created_at": "2021-11-28T14:57:16Z",
      "owner_type": "Organization",
      "updated_at": "2026-07-17T14:56:38Z",
      "description": "Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.",
      "is_archived": false,
      "is_disabled": false,
      "license_spdx": "Apache-2.0",
      "default_branch": "master",
      "license_spdx_raw": "Apache-2.0",
      "primary_language": "Rust",
      "significant_languages": [
        "Rust"
      ]
    },
    "owner": {
      "blog": "https://triton-vm.org",
      "name": "Triton VM",
      "type": "Organization",
      "login": "TritonVM",
      "company": null,
      "location": null,
      "followers": 37,
      "avatar_url": "https://avatars.githubusercontent.com/u/105432652?v=4",
      "created_at": "2022-05-12T12:10:51Z",
      "is_verified": null,
      "public_repos": 7,
      "account_age_days": 1534
    },
    "license": {
      "state": "standard",
      "spdx_id": "Apache-2.0",
      "raw_spdx": "Apache-2.0",
      "file_present": true,
      "scorecard_found": true,
      "profile_has_license": true
    },
    "activity": {
      "releases": [
        {
          "tag": "v3.0.0",
          "kind": "major",
          "published_at": "2026-05-11T12:52:33Z"
        },
        {
          "tag": "v2.0.0",
          "kind": "major",
          "published_at": "2026-01-21T13:57:04Z"
        },
        {
          "tag": "v1.0.0",
          "kind": "major",
          "published_at": "2025-10-23T19:41:27Z"
        },
        {
          "tag": "v0.50.0",
          "kind": "minor",
          "published_at": "2025-06-27T12:17:07Z"
        },
        {
          "tag": "v0.49.0",
          "kind": "minor",
          "published_at": "2025-06-27T10:49:22Z"
        },
        {
          "tag": "v0.48.0",
          "kind": "minor",
          "published_at": "2025-02-11T13:37:21Z"
        },
        {
          "tag": "v0.45.0",
          "kind": "minor",
          "published_at": "2025-01-13T11:56:55Z"
        },
        {
          "tag": "v0.44.1",
          "kind": "patch",
          "published_at": "2025-01-13T11:56:27Z"
        },
        {
          "tag": "v0.44.0",
          "kind": "minor",
          "published_at": "2025-01-13T11:55:47Z"
        },
        {
          "tag": "v0.43.0",
          "kind": "minor",
          "published_at": "2024-11-14T13:25:22Z"
        }
      ],
      "recent_commits": [
        {
          "oid": "8cd9a0ebe5f6c2cdbd8b8705a5eff3d4aa2bd821",
          "body": null,
          "is_bot": false,
          "headline": "chore: Bump proof version",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-06-22T14:08:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a4b4057d43146ffd0e51eb177ac5383ffdb1d6e3",
          "body": "The highly specific instructions `xb_dot_step` and `xx_dot_step` existed\nonly to speed up computing the inner product of revealed rows with the\nverifier-sampled challenges in the recursive verifier. With the\nintroduction of univariate batching, the recursive verifier no longer\nperforms that step; instead, it benefits from instructions that speed\nup the evaluation of univariate polynomials, which the two new\ninstructions `b_horner_step` and `x_horner_step` enable.",
          "is_bot": false,
          "headline": "refactor!: Drop `dot_step`, add `horner_step`",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-06-22T06:26:52Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4b152e5b13c758b0e287395805d6d385316ae22d",
          "body": "Use one randomly sampled indeterminate per batching “category” instead\nof column-many indeterminates to batch the combination codeword.",
          "is_bot": false,
          "headline": "refactor: Use univariate batching",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-06-22T06:15:07Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0f1e3ab1d12e668c8389b6a0b29db97747869d9b",
          "body": null,
          "is_bot": false,
          "headline": "fix: Make Program Table AIR sound",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-06-17T09:25:28Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "83c90511a5e78457186471b5e73084fdcea1d918",
          "body": "Fix various soundness issues in Triton VM's AIR.\n\nCo-authored-by: huuhait <huuhadz2k@gmail.com>\nCo-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix: Make AIR sound",
          "author_name": "Alan Szepieniec",
          "author_login": "aszepieniec",
          "committed_at": "2026-06-16T10:52:16Z",
          "body_truncated": false,
          "is_coding_agent": true
        },
        {
          "oid": "77bd52134cfd24222e223f4dac68ed1ff9abfad8",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "test: Use type generics instead of macro",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-06-16T10:52:16Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "2c69889f4fa7457829676588ba591b1fb9c40b5c",
          "body": null,
          "is_bot": false,
          "headline": "fix: Correct constraints of `recurse_or_return`",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-06-12T09:02:46Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "2401ed6cb40b84689cb021a1e35eb48579269e52",
          "body": null,
          "is_bot": false,
          "headline": "fix: Enforce that executed opcodes are valid",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-06-11T12:32:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3f3400cdaaf68c31a5b599ec0e9e26111a7ee3a8",
          "body": "Previously, the FRI verifier panicked when given a too short FRI\ncodeword. Now, the verifier correctly returns an error instead.",
          "is_bot": false,
          "headline": "fix(FRI): Don't panic on codeword of wrong length",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-06-11T12:16:28Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0fba7a3b14c36ba00a9f082ce88cd052240faf40",
          "body": "Specifically, if the number of revealed\n\n- main rows,\n- auxiliary rows,\n- quotient segment elements,\n- current row indices revealed by the LDT, or\n- revealed LDT values\n\nis incorrect, return the appropriate error instead of panicking.\n\nWhile the intention was always to return these errors, a `.zip_eq(…)`\nthat used to be called prior to the explicit error path prevent those\nchecks from being meaningful.",
          "is_bot": false,
          "headline": "fix: Don't panic on malformed proof",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-06-11T11:51:27Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c343e51d7f5b90e2cee6ec4b0eed91caef53ec1d",
          "body": null,
          "is_bot": false,
          "headline": "fix: Reject proofs with superfluous items",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-06-10T12:57:19Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "17c7ba0a19f31793f1c807a58afaf9504342aac5",
          "body": "Previously, the AIR did not enforce that the instruction\n`sponge_absorb_mem` actually reads from RAM. This oversight allowed to\ngenerate valid-looking proofs of programs that execute the instruction.",
          "is_bot": false,
          "headline": "fix(AIR): Enforce RAM read for `sponge_absorb_mem`",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-06-10T09:39:56Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "227b19532292ca352e062460c91c8af42cd53a10",
          "body": "Transition constraint 4 of the RAM Table enforces read consistency:\nbetween two consecutive rows with the same RAM pointer, the RAM value\nmay only change if the *next* row is a write. The specification\nerroneously gated this constraint on the *current* row's\n`instruction_type`:\n\n    (iord·(ram_point\n[…]\n re-implementations; transcribing transition constraint 4 as\nwritten would have introduced the soundness weakness described above.\n\nCo-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "docs: Fix RAM Table's read-consistency constraint in specification",
          "author_name": "Alan Szepieniec",
          "author_login": "aszepieniec",
          "committed_at": "2026-06-07T11:07:52Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "109abd87e4c122ea486256757fac80a8d60fe1bc",
          "body": null,
          "is_bot": false,
          "headline": "fix(LDT): Fix conjectured RS code list size",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-06-06T04:22:56Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5f24556b68a75bb061e19656107878e817c1effc",
          "body": "Due to js/wasm cross-origin issues, move the tutorial to the website's\nrepository.",
          "is_bot": false,
          "headline": "docs: Move Triton assembly tutorial",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-06-01T07:50:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "bf1b10b43b963e37178c52c6aa1f14db6c7e25c8",
          "body": null,
          "is_bot": false,
          "headline": "docs: Add Triton assembly tutorial",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-31T17:14:49Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "46901614e530b19ac0e99bfa5734eef9511df676",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "test: Use actual constraints for codegen beckends",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-28T09:08:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5596d8e3d7f124e9d091dcd07a4efaa1bae26a07",
          "body": null,
          "is_bot": false,
          "headline": "docs: Keep content max width constant",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-21T07:42:35Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "465b42410db549527e4359d5cd5fd3c149c15d80",
          "body": null,
          "is_bot": false,
          "headline": "docs: Point to documentation, not specification",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-20T07:58:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "bb6103cd8187c637801ce62e5ba865f8962b8c04",
          "body": "Also, clean up various tests and use the existing test infrastructure\nmore.\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "test: Turn ad-hoc proptests into `proptest`s",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-19T14:19:13Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "39733ed3384534b884a6edd0d6f372b1f400435f",
          "body": null,
          "is_bot": false,
          "headline": "fix: Correctly set `Arbitrary`'s `size_hint`",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-19T14:19:13Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "90ac3945a9094dc8e2a25a567d09a6933ccf0274",
          "body": "The example programs that used to be publicly accessible are can now\nonly be accessed by tests and benchmarks, for which they remain highly\nrelevant.",
          "is_bot": false,
          "headline": "refactor!: Remove public example programs",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-19T14:14:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "17909911387aa2f3e6c7a94e2e0fe7ce93ee1b94",
          "body": "Some benchmarks now include deriving the AET, which might make them\nappear like regressions. However, since it's generally impossible to\ngenerate a proof without first deriving the AET, this setup is closer\nto truth.\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "bench: Consolidate benchmarking infrastructure",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-19T14:14:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "30ae913c9e35a7ccc3a6f8d99de8a2fd2f98c89c",
          "body": null,
          "is_bot": false,
          "headline": "chore(deps): Upgrade dependencies",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-19T13:38:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b7a9a2f424660b385bf9aa13eae13fe2720d1c5b",
          "body": "This change improves the plausibility with which Triton VM is\nZero-Knowledge: where before, we did not know of a proof-of-ZK, this\nnew construction has an explicit proof-of-ZK.\n\nAs a consequence, Triton VM loses perfect completeness: with negligible\nprobability, the verifier can sample randomness th\n[…]\nfices.\n\nBREAKING CHANGE: The type `QuotientSegments` becomes type\n`RandQuotientSegments` to reflect the fact that quotient segments are\nalways randomized when communicated between prover and verifier.",
          "is_bot": false,
          "headline": "fix!: Randomize quotient table",
          "author_name": "Alan Szepieniec",
          "author_login": "aszepieniec",
          "committed_at": "2026-05-18T07:59:17Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "754f4d358f75692efc749bb1431d34dae4a20296",
          "body": "Also, consistently use wording “batch randomizer” over “randomizer\npolynomial”.",
          "is_bot": false,
          "headline": "refactor: More clearly separate RNG seeds",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-13T14:07:56Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b863a9a53286d0b0414495af2b7f7321f2599ad3",
          "body": null,
          "is_bot": false,
          "headline": "chore(deps): Upgrade dependencies",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-13T13:32:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "04c21a4524fd70182ee1e6cb8347fd7b8d543298",
          "body": null,
          "is_bot": false,
          "headline": "ci: Update taiki-e/install-action",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-13T10:48:55Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f700f6a54184641ae2345921ad71f067a76764bf",
          "body": null,
          "is_bot": false,
          "headline": "ci: Add GitHub Actions Security Analysis `zizmor`",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:19Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5617df39d93318dddeba4a51aadafea81f6ec9fe",
          "body": "Part of this change is to run the link checker weekly, not daily.\n\nDue to some recent changes somewhere on the internet (I really don't\nknow where), the link checking workflow has become quite a bit more\nnoisy than it used to be, creating issues that resolve themselves\nwithin a day or two.\n\nWith the\n[…]\n the pointed-to pages are still available.\n\nWhile it is sad to diminish the effectiveness of the automated link\nchecker, I do understand their reasons for limiting automated access.\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "ci: Bump version of link checker “lychee”",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:19Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "3c7758dcde36c5b6b3d96bead570e82867e113a1",
          "body": "Also, reduce overall test times by limiting the number of cases of some\nlong-running proptests.\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "test: Turn ad-hoc proptests into proper proptests",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:19Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6db5ad144d98c8429418441b037a29c078a81524",
          "body": "A future update to `rustc` will turn this into a hard error.\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "chore: Fix import disambiguities",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:19Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b80b275d1fd24da6727f2a951a27d461f0622fe7",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "test: Remove use-once method",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ec6c99f32c92d975e064adb5ef3a76029d4bdcc5",
          "body": "If Triton VM is configured to cache as much as possible but cannot\nallocate the required amount of memory, return an error instead of\npanicking.\n\nNote that there is no guarantee that this behavior will trigger: some\noperating systems do “memory overcommitment”, seemingly providing\naccess to memory t\n[…]\n fact, available. In such cases, the\nout-of-memory error will not be triggered and the operating system\ninstead terminates the process consuming the most RAM as soon as the\nmachine's RAM is exhausted.",
          "is_bot": false,
          "headline": "feat: (Try to) return error on big allocation fail",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:18Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "2f1141e9118c87b9321f3941c46ecc07854179ac",
          "body": "(Where needed.)\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "refactor: Make implicit clones explicit",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7d3e42401a9c0cb0f6f9bc4a5c61fae377ef7b24",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "refactor: Simplify parameters of internal function",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "949245ca5c35888fcad40aec645d6184fda7e307",
          "body": null,
          "is_bot": false,
          "headline": "refactor!: Box potentially large `Err` content",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "12e9c4d7463ed6fb22d0f70f08a84fe0b50bfbbb",
          "body": null,
          "is_bot": false,
          "headline": "refactor!: Make some internal functions private",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "481865db177ac5534276ad09e82467f859f1e89d",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "test: Update dependency `assert2`",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a6d6fbda7540f600b5db407bb22962e254918573",
          "body": null,
          "is_bot": false,
          "headline": "perf: Do fewer hash invocations on RAM-frugal path",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4befea48e17f3d65751d9e13894bf2cdd173e4a3",
          "body": "While there is a clippy lint for this combination, I find `map` +\n`unwrap_or` more readable than `map_or`.\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "refactor: Use `map` + `unwrap_or` over `map_or`",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "553da899a254efd7c0527a00727571c6cdd9e655",
          "body": "Both the “Fast Reed-Solomon IOPP” (“FRI”) and “Shift to Improve\nRate” (“STIR”) are proof systems that establish the low-degreeness of a\npolynomial. They each have their own advantages and disadvantages.\n\nIn particular, for our STARK and when the execution trace is short, the\nsize of the proof is sig\n[…]\nthe time being.\n\nBREAKING CHANGE: In order to add STIR as an LDT, the version of the\nproof system is bumped from 2 to 3. This means that old proofs are\nconsidered invalid by this version of Triton VM.",
          "is_bot": false,
          "headline": "feat!: Add STIR as an alternative low-degree test",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:17Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "2ef89579b3ea11bf3349ec685e9c0d67d2f3c239",
          "body": "✨ Features\n\n- (!) Make 32-bit architecture compatible (d76f95fd)\n\n📚 Documentation\n\n- Add SECURITY.md (b8ac5cb1)\n\n⚙️ Miscellaneous\n\n- Benchmark memory performance (a7dab58d)\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "chore: Release Triton VM v3.0.0",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T12:01:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d76f95fd228ffcdb306fdf35e3a049050b07e174",
          "body": "In particular, Triton VM can now be compiled to the\n`wasm32-unknown-unknown` target. Continuous integration checks for\nfuture regressions by testing through `wasm-pack test`.\n\nSome new dependencies are taken on to facilitate this upgrade. While\nmost of them are only used for testing, the `web_time` \n[…]\nin no change at all.\n\nBREAKING CHANGE: Because of prior improper handling of `usize` being\nimplicitly treated as `u64`, some constants, fields, and function\narguments are now `u64` instead of `usize`.",
          "is_bot": false,
          "headline": "feat!: Make 32-bit architecture compatible",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T11:15:41Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "4b64a79279402afe98c7be726733338eb64045de",
          "body": "Also:\n- adapt max domain length for 32-bit architectures\n- simplify derivation of arbitrary domains\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "test: Max domain length is actually max",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-05-11T09:58:47Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4a827a3b6d95dedd175841e1f7c64217b871c799",
          "body": "Increase test coverage.\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "test: `UnderflowIO`'s payload is accessible",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-02-04T11:26:47Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b8ac5cb1f4b0a50eb46559f9b94e102c9b750dba",
          "body": null,
          "is_bot": false,
          "headline": "docs: Add SECURITY.md",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-01-29T12:19:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a7dab58d54c097ac28a2be47a19a1329d2dadc40",
          "body": null,
          "is_bot": false,
          "headline": "ci: Benchmark memory performance",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-01-29T11:51:49Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9d77f6de8ce6717f31cf8ffced72324c21d026fd",
          "body": "Remove an outdated key from the book's definition.\n\nRemove the `linkcheck` pre-processor: `lychee` is superior. In\nparticular, it\n- applies not only to mdbook but the entire repository\n- can (and does) verify that mentioned anchors exist\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "chore: Update mdbook",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-01-21T14:17:23Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4f8ab51d92c7f4808d03b4677ed19239e87f3548",
          "body": "✨ Features\n\n- (!) Raise an ArithmeticDomain to any exponent (7d9b54fe)\n\n🐛 Bug Fixes\n\n- (!) Consider FRI polynomial in Fiat-Shamir state (3a045d63)\n\n⚡️ Performance\n\n- *(build)* Reduce allocations when building (59ac8dae)\n- *(build)* Speed up constraint circuit hashing (3b45421c)\n- Improve compile tim\n[…]\n0010 (e1593be3)\n\n⚙️ Miscellaneous\n\n- Reflect true MSRV (44a6240d)\n- Adapt to latest Codspeed changes (f0536892)\n\n♻️ Refactor\n\n- (!) *(ArithmeticDomain)* Uphold invariants (59dd3b4d)\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "chore: Release Triton VM v2.0.0",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-01-21T12:26:50Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "3a045d636e97bb2eb628671db0001aa665c19dd8",
          "body": "This fixes a soundness problem in Triton VM. In particular, since the\nprover was not committed to the low-degree polynomial sent in FRI,\nthey could chose the polynomial after having sampled the challenge.\n\nAlso:\n- test that the log₂(padded_height) as received from the prover is\n  reasonable\n- includ\n[…]\n_height) in the Fiat-Shamir state\n\nWhile those additional changes don't constitute soundness issues (to the\nbest of our knowledge), they do make verification more robust without\nimpacting performance.",
          "is_bot": false,
          "headline": "fix!: Consider FRI polynomial in Fiat-Shamir state",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-01-21T11:58:14Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "c1f77452f49107ea5c3335b805e2ba6988572764",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "test: Add snapshot test for program's hash",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-01-20T12:06:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "14d0610b8db968b85c97dc2ac3f4b4d9559c1088",
          "body": null,
          "is_bot": false,
          "headline": "chore(deps): Upgrade dependencies",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-01-19T10:59:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5337de081a596117d956cf063162dc6fbf106aac",
          "body": null,
          "is_bot": false,
          "headline": "perf: Improve compile times through faster hashing",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2026-01-16T07:27:28Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e1593be3d5d8f0448157372330ddbcde1b641874",
          "body": null,
          "is_bot": false,
          "headline": "docs: Add TIP-0010",
          "author_name": "Alan Szepieniec",
          "author_login": "aszepieniec",
          "committed_at": "2026-01-12T12:18:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c429f60bfa0415b7ff74e19d3755ef09188005cb",
          "body": null,
          "is_bot": false,
          "headline": "docs: Add draft for Tip9, “polynomial registers”",
          "author_name": "Alan Szepieniec",
          "author_login": "aszepieniec",
          "committed_at": "2025-12-16T10:10:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b92b05206d0ebe195ff6ce8aaa113e64af207ec5",
          "body": "This file was committed accidentally and does not belong in the\nrepository.\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "chore: Remove superfluous settings file",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-12-10T11:45:28Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8e83731790a5d7215a557e96510f84e6eda4610a",
          "body": null,
          "is_bot": false,
          "headline": "test: Fix proptest input generation",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-12-06T22:22:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f053689200fac345c268d0fe9834769f6399a83d",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "ci: Adapt to latest Codspeed changes",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-12-06T16:26:08Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3b45421c7ce6f2db3529049c07a6d2170d5ccb56",
          "body": null,
          "is_bot": false,
          "headline": "perf(build): Speed up constraint circuit hashing",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-12-06T16:05:08Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "59ac8dae4e10277361c83a45940659c914932201",
          "body": null,
          "is_bot": false,
          "headline": "perf(build): Reduce allocations when building",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-12-06T16:00:41Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "efd004327387b791f139b1e09f2a34fbb4382ceb",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "test(constraint-circuit): Count visible nodes",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-12-06T15:53:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3b0ad9676dc4e1fbc698f46e813d4c324c23cfc3",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "fix: Correctly update circuit’s ref_count",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-12-06T15:53:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "59dd3b4d486c8607efd298be40436b10e5cdd33d",
          "body": "Make internal fields non-public in order to guarantee internal\ninvariants. Also, improve documentation and some error generation.",
          "is_bot": false,
          "headline": "refactor(ArithmeticDomain)!: Uphold invariants",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-11-30T11:07:29Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7d9b54fe54ac863089b4cdaae831d2df990d0faa",
          "body": "Previously, only domain halving was supported. Now, the exponent can be\nan arbitrary power of 2.\n\nBREAKING CHANGE: Remove variant “too small for halving” on enum\n`ArithmeticDomainError`. The new variant “illegal exponent” takes its\nplace. Neither error can (or could have been) encountered through\nregular use of Triton VM.",
          "is_bot": false,
          "headline": "feat!: Raise an ArithmeticDomain to any exponent",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-11-30T06:51:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7bd77d33d6a7043e97340b0a2e74983c309b964d",
          "body": "Also:\n- add table summarizing each instruction\n- briefly list the (informal) instruction categories\n- break out section “about instructions”\n- introduce README.md to `./specification`\n- put instruction `push` before instruction `pop`\n- correctly describe padding behavior of instruction `hash`\n- describe general `ip` increment behavior\n- remove some superfluous horizontal lines before footnotes\n- add more inter-doc links",
          "is_bot": false,
          "headline": "docs: Decrease width of spec page “instructions”",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-11-11T12:15:03Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e162441e255a7bfd99d3ad7a1318d590194fa9af",
          "body": "- Update project status\n- Drop section about running the code\n- Break out instructions to self-host the specification\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "docs: Update README.md",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-11-11T10:53:22Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5af40098e15151d140342925b23c0795cdee75ab",
          "body": "Also, drop the comment about the direction the stack grows in: since the\nstack’s growth is one-dimensional, and since the stack’s memory is not\nembeded in some other memory structure, the direction “up” is\nmeaningless.\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "docs: Slightly reword some register explanations",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-11-11T10:53:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "79a4dc9ffb49dc0988bbbde21b0af203d969054f",
          "body": "The section “Instructions” was getting quite long and started to have\nmultiple purposes. Break it up to simplify navigation and to keep\nsections more focussed.",
          "is_bot": false,
          "headline": "docs: Turn “About Instructions” into a section",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-11-11T10:53:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5929876797256c801bac0fae4269c385aa0d3290",
          "body": null,
          "is_bot": false,
          "headline": "docs: Add instruction summary",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-11-06T14:48:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "47929972a6ae30cc5fe288c6abff3e7d58e84055",
          "body": "Also:\n- put instruction `push` before instruction `pop`\n- correctly describe padding behavior of instruction `hash`\n- describe general `ip` increment behavior\n- remove some superfluous horizontal lines before footnotes\n- add more inter-doc links",
          "is_bot": false,
          "headline": "docs: Decrease width of spec page “instructions”",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-11-06T14:03:46Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "44a6240dd6c3e12306f87ce68f0f00cad05dcf0c",
          "body": "This is not a breaking change since the minimally-supported rust version\nwas already identical through a transitive dependency. This change only\nreflects that fact in the `Cargo.toml`.\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "chore: Reflect true MSRV",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-10-23T21:05:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f0b8b70eb4e92b03c038caab8fea537362682fdb",
          "body": "⚙️ Miscellaneous\n\n- Make environment variable name public (8d518985)\n- Upgrade dependencies (4da0e9f6)\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "chore: Release Triton VM v1.0.0",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-10-23T13:27:48Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4da0e9f6deab0236574f44fa4fcd17b95759f062",
          "body": "Also, avoid a few superfluous allocations in the verifier.",
          "is_bot": false,
          "headline": "chore: Upgrade dependencies",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-10-23T13:01:51Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6d2b1bec6ba6bbceea6f556807a99066e092a028",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "test: Remove redundant check",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-10-20T12:50:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9e8f9e302ac0e0aa906bd0f2f360ae22bb712768",
          "body": "In the specification for the lookup table, the update rule for the\ntransition constraint of the public evaluation argument was written as a\npermutation argument. Since the argument is an evaluation argument, the\nupdate rule corresponding to evaluation arguments is used.\n\nNote that is a change to the documentation only; the code does not\ncontain this bug.",
          "is_bot": false,
          "headline": "docs: Fix incorrect transition constraint",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-10-20T12:43:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c5b0d88b3ffb40b4a404b3659a6f23ab7d3b1ed8",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "docs: Fix broken link",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-10-20T12:20:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5ccfcd6f066a270bba29f45d2b96afd9231c404d",
          "body": "This is a change to comments and variable identifiers only; no logic is\nchanged in any way.\n\nfix #369\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "fix: Correct names of highest IB from 6 to 7",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-10-15T07:58:16Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "59c112e9019c357c06f43070e8f826e8afd4423e",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "ci: Update link checker's cache with every run",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-10-13T17:48:21Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ce17766defc715c73029e481c254bf82ae9e8a26",
          "body": "Fix new lints. In one case, disable a lint that now triggers in macro-\ngenerated code. This might warrant an investigation at some point.\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "chore: Bump used toolchain version",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-10-07T10:54:21Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "41cd8b092221f28e3cac4b16888d290a8afb7af3",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "chore(ci): Upgrade “checkout” action to v5",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-09-30T13:46:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8d51898519588ec36525ad50d13c8e410fde9ce7",
          "body": "This environment variable is used downstream in neptune-core to make\ndecisions based on the padded height, whether to use the RAM frugal\n(\"no_cache\") or RAM hungry (\"cache\") pathway.. Instead of repeating the\nname downstream, it's better to use it from a constant exposed in this\nrepo. Cf. bbe04bc16ee78f1edf1fd957ea0f41c2d6f5f9a7.\n\nAlso makes the two possible values for this environment variable public:\n\"cache\" and \"no_cache\".",
          "is_bot": false,
          "headline": "refactor: Make environment variable name public (#367)",
          "author_name": "Thorkil Værge",
          "author_login": "Sword-Smith",
          "committed_at": "2025-08-19T12:39:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "33934e673848ef731a963f33da8654473ea8a05b",
          "body": "⚡️ Performance\n\n- Avoid allocation during RAM-frugal proving (47509643)\n- Don't allocate when hashing FRI table rows (27f67129)\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "chore: Release Triton VM v0.50.0",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-27T10:59:08Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c92b5146eb8ac7ae2f6b3cb31ac7394158a2f3e5",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "chore: Upgrade dependencies",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-27T10:57:04Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "27f671295bd909c3a315e288dc4a22cfc0f06678",
          "body": null,
          "is_bot": false,
          "headline": "perf: Don't allocate when hashing FRI table rows",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-27T10:42:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "911a06331d6a97f7c88260888e4ef4e88baf276f",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "chore: Upgrade dependencies",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-27T10:42:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5cdd1a80df4463bdafaef4fbafee90af59d8f598",
          "body": "STARKs with a security level of 496 or more bits cause test failures.\nThe reason for this is currently unclear and under investigation. It is\nquestionable that this security level can be achieved at all. Until the\nconclusions are in, remove the flakiness of associated tests.\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "test: Reduce maximum security level to test",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-27T10:41:26Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "475096433abd51f89703671cd85f88743214f084",
          "body": "Previously, one big allocation was later split up into multiple smaller\nallocations. Now, the multiple smaller allocations happen immediately\nand are modified instead, avoiding the initial big allocation.",
          "is_bot": false,
          "headline": "perf: Avoid allocation during RAM-frugal proving",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-27T09:56:19Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "bf477ca75a7581326022c22de0ec19835376cca2",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "docs: Fix broken link",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-26T12:04:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c62250fcf7ae1791f9973b18bc616626108aa31b",
          "body": "In particular, fix these lints:\n- mismatched_lifetime_syntaxes\n- clippy::doc_overindented_list_items\n- clippy::double_ended_iterator_last\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "fix: Fix upcoming linter warnings",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-24T06:58:40Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4919e4bf166ea113c07df1b85b721ea10067d62c",
          "body": "Triton VM has long since used the convention that `Axis(0)` iterates a\ntable's rows, and `Axis(1)` iterates a table's columns. However, it's\nunnecessarily difficult to remember this convention; named constants\nare a much better tool for the same job.\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "refactor: Use named constants for axis indices",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-23T08:15:31Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "86d8346db2266765699bf9fc85150dde1ac24327",
          "body": "✨ Features\n\n- Improve error messages of parser (7ef225f1)\n- (!) Report all table heights for `VM::profile` (f05db5ee)\n- *(parser)* Allow “generic types” in type hints (f9e0666e)\n- *(profiler)* Report memory consumption (0eaac39e)\n\n🐛 Bug Fixes\n\n- Use rayon's thread count for parallelization (b66d0f2f\n[…]\nte license to MIT OR Apache-2.0 (c012d3ad)\n\n♻️ Refactor\n\n- (!) Clarify derivation of prover's domains (b6a1d5f3)\n\n✅ Testing\n\n- Increase testability of constraint failures (bda6de5c)\n\nchangelog: ignore",
          "is_bot": false,
          "headline": "chore: Release Triton VM v0.49.0",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-18T11:30:33Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "d0091dcbfa1c996491b55dd8c39990bb8c542f99",
          "body": "changelog: ignore",
          "is_bot": false,
          "headline": "chore: Upgrade dependencies",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-18T09:52:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c012d3adf8bd97d65d22e55a8489bb12126b5da4",
          "body": null,
          "is_bot": false,
          "headline": "chore: Update license to MIT OR Apache-2.0",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-16T15:58:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "cda25b912e4355c7c6b9a73c52476c76318bf8ad",
          "body": "The use that this code was probably intended for is already covered by\nthe test function `evaluate_assert_unique`.",
          "is_bot": false,
          "headline": "test: Remove dead code",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-16T10:24:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ac91d15d895ddd98082f5296fc171e6c236444f8",
          "body": null,
          "is_bot": false,
          "headline": "docs: Fix intra-doc links",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-11T12:58:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "fd663411baca7cc73e94105e9598dc08140ed409",
          "body": "Previously, proofs produced with very high security factors (239 bits\nand higher) were considered invalid. Now, the correct length of the\ntrace domain is used in the verifier, which correctly classifies such\nproofs as valid.",
          "is_bot": false,
          "headline": "fix: Correctly accept high-security proofs",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-05T12:50:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b6a1d5f3618ea0ff4ecbd491f3200db2747ed462",
          "body": "BREAKING CHANGE: The trait `MasterTable` and the functions\n`MasterBaseTable::new`, `randomized_trace_len`, and `interpolant_degree`\nare now private.",
          "is_bot": false,
          "headline": "refactor!: Clarify derivation of prover's domains",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-05T12:50:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "bda6de5c1ee80d0d1d63244f1793ec3d7d0b8b2a",
          "body": "On unfulfilled constraints, don't just print strings to stderr, but\nreturn a dedicated type.\n\nAlso, restructure test helper functions. In particular, return fewer\ntuples, use dedicated types instead.",
          "is_bot": false,
          "headline": "test: Increase testability of constraint failures",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-06-05T12:50:43Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b66d0f2fb1f1ad0e1b21ae00172798b3c914ec77",
          "body": "Previously, `std::thread::available_parallelism()` was used directly to\ndetermine the size of the workload to be used in individual parallel\nworkers. The number of available parallelism is difficult (usually\nimpossible) to configure by users.\n\nNow, Triton VM uses `rayon::current_num_threads()` inste\n[…]\nrk to parallel workers. This can\nbe especially useful on machines with a large number of cores, as it can\nlead to reduced memory requirements of Triton VM when the RAM-frugal\nexecution path is chosen.",
          "is_bot": false,
          "headline": "fix: Use rayon's thread count for parallelization",
          "author_name": "Jan Ferdinand Sauer",
          "author_login": "jan-ferdinand",
          "committed_at": "2025-05-28T15:07:35Z",
          "body_truncated": true,
          "is_coding_agent": false
        }
      ],
      "releases_count": 10,
      "commits_last_year": 81,
      "latest_release_at": "2026-05-11T12:52:33Z",
      "latest_release_tag": "v3.0.0",
      "releases_from_tags": false,
      "days_since_last_push": 32,
      "active_weeks_last_year": 24,
      "days_since_latest_release": 74,
      "mean_days_between_releases": 60.3
    },
    "community": {
      "has_readme": true,
      "has_license": true,
      "has_description": true,
      "has_contributing": true,
      "health_percentage": 62,
      "has_issue_template": false,
      "has_code_of_conduct": false,
      "has_pull_request_template": false
    },
    "ecosystem": {
      "packages": [
        {
          "name": "triton-vm",
          "exists": true,
          "license": "MIT OR Apache-2.0",
          "keywords": [
            "recursive",
            "stark",
            "virtual-machine",
            "zero-knowledge",
            "cryptography",
            "mathematics"
          ],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/triton-vm",
          "is_deprecated": false,
          "latest_version": "7.0.0",
          "repository_url": "https://github.com/TritonVM/triton-vm",
          "versions_count": 68,
          "total_downloads": 103702,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 1497,
          "first_published_at": "2022-07-27T08:34:17.131878Z",
          "latest_published_at": "2026-06-17T11:41:05.064753Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 37
        },
        {
          "name": "triton-air",
          "exists": true,
          "license": "MIT OR Apache-2.0",
          "keywords": [],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/triton-air",
          "is_deprecated": false,
          "latest_version": "7.0.0",
          "repository_url": "https://github.com/TritonVM/triton-vm",
          "versions_count": 18,
          "total_downloads": 39004,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 1141,
          "first_published_at": "2024-09-10T13:55:59.712874Z",
          "latest_published_at": "2026-06-17T11:40:59.481391Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 37
        },
        {
          "name": "triton-isa",
          "exists": true,
          "license": "MIT OR Apache-2.0",
          "keywords": [],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/triton-isa",
          "is_deprecated": false,
          "latest_version": "7.0.0",
          "repository_url": "https://github.com/TritonVM/triton-vm",
          "versions_count": 18,
          "total_downloads": 39287,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 1158,
          "first_published_at": "2024-09-10T13:55:43.298986Z",
          "latest_published_at": "2026-06-17T11:40:55.713434Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 37
        },
        {
          "name": "triton-constraint-builder",
          "exists": true,
          "license": "MIT OR Apache-2.0",
          "keywords": [],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/triton-constraint-builder",
          "is_deprecated": false,
          "latest_version": "7.0.0",
          "repository_url": "https://github.com/TritonVM/triton-vm",
          "versions_count": 18,
          "total_downloads": 38442,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 1124,
          "first_published_at": "2024-09-10T13:56:12.983877Z",
          "latest_published_at": "2026-06-17T11:41:02.549153Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 37
        },
        {
          "name": "triton-constraint-circuit",
          "exists": true,
          "license": "MIT OR Apache-2.0",
          "keywords": [],
          "ecosystem": "crates",
          "matches_repo": true,
          "registry_url": "https://crates.io/crates/triton-constraint-circuit",
          "is_deprecated": false,
          "latest_version": "7.0.0",
          "repository_url": "https://github.com/TritonVM/triton-vm",
          "versions_count": 18,
          "total_downloads": 39236,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": 1159,
          "first_published_at": "2024-09-10T13:55:28.875184Z",
          "latest_published_at": "2026-06-17T11:40:54.874541Z",
          "latest_version_yanked": false,
          "days_since_latest_publish": 37
        }
      ]
    },
    "popularity": {
      "forks": 57,
      "stars": 278,
      "watchers": 14,
      "fork_history": {
        "days": [
          {
            "date": "2022-07-30",
            "count": 3
          },
          {
            "date": "2022-08-13",
            "count": 1
          },
          {
            "date": "2022-08-15",
            "count": 2
          },
          {
            "date": "2022-09-26",
            "count": 1
          },
          {
            "date": "2022-10-07",
            "count": 2
          },
          {
            "date": "2022-10-13",
            "count": 1
          },
          {
            "date": "2022-10-20",
            "count": 1
          },
          {
            "date": "2022-11-14",
            "count": 2
          },
          {
            "date": "2022-12-09",
            "count": 1
          },
          {
            "date": "2023-04-03",
            "count": 1
          },
          {
            "date": "2023-05-05",
            "count": 1
          },
          {
            "date": "2023-08-08",
            "count": 1
          },
          {
            "date": "2023-10-03",
            "count": 1
          },
          {
            "date": "2023-12-11",
            "count": 1
          },
          {
            "date": "2023-12-12",
            "count": 2
          },
          {
            "date": "2024-01-14",
            "count": 1
          },
          {
            "date": "2024-01-19",
            "count": 1
          },
          {
            "date": "2024-01-26",
            "count": 1
          },
          {
            "date": "2024-04-16",
            "count": 1
          },
          {
            "date": "2024-04-18",
            "count": 2
          },
          {
            "date": "2024-04-21",
            "count": 1
          },
          {
            "date": "2024-08-27",
            "count": 1
          },
          {
            "date": "2024-10-22",
            "count": 1
          },
          {
            "date": "2024-12-17",
            "count": 1
          },
          {
            "date": "2024-12-19",
            "count": 1
          },
          {
            "date": "2025-02-13",
            "count": 1
          },
          {
            "date": "2025-02-18",
            "count": 1
          },
          {
            "date": "2025-03-31",
            "count": 1
          },
          {
            "date": "2025-04-16",
            "count": 1
          },
          {
            "date": "2025-06-06",
            "count": 1
          },
          {
            "date": "2025-07-10",
            "count": 1
          },
          {
            "date": "2025-08-24",
            "count": 2
          },
          {
            "date": "2025-09-08",
            "count": 2
          },
          {
            "date": "2025-09-09",
            "count": 1
          },
          {
            "date": "2025-09-12",
            "count": 1
          },
          {
            "date": "2025-10-18",
            "count": 2
          },
          {
            "date": "2025-10-25",
            "count": 1
          },
          {
            "date": "2025-11-04",
            "count": 1
          },
          {
            "date": "2025-12-20",
            "count": 1
          },
          {
            "date": "2026-01-16",
            "count": 1
          },
          {
            "date": "2026-01-28",
            "count": 1
          },
          {
            "date": "2026-03-30",
            "count": 1
          },
          {
            "date": "2026-04-13",
            "count": 1
          }
        ],
        "complete": true,
        "collected": 53,
        "total_forks": 57
      },
      "star_history": null,
      "open_issues_and_prs": 32
    },
    "ai_readiness": {
      "has_nix": false,
      "example_dirs": [
        "examples"
      ],
      "has_llms_txt": false,
      "has_dockerfile": false,
      "has_mcp_signal": false,
      "bootstrap_files": [],
      "api_schema_files": [],
      "has_devcontainer": false,
      "typecheck_configs": [],
      "toolchain_manifests": [
        "Cargo.toml",
        "triton-air/Cargo.toml",
        "triton-constraint-builder/Cargo.toml",
        "triton-constraint-circuit/Cargo.toml",
        "triton-dev-util/Cargo.toml",
        "triton-isa/Cargo.toml",
        "triton-vm/Cargo.toml"
      ],
      "largest_source_bytes": 218656,
      "source_files_sampled": 73,
      "oversized_source_files": 9,
      "agent_instruction_files": [],
      "agent_instruction_max_bytes": null
    },
    "dependencies": {
      "manifests": [
        "Cargo.toml",
        "triton-air/Cargo.toml",
        "triton-constraint-builder/Cargo.toml",
        "triton-constraint-circuit/Cargo.toml",
        "triton-dev-util/Cargo.toml",
        "triton-isa/Cargo.toml",
        "triton-vm/Cargo.toml"
      ],
      "advisories": {
        "error": "No resolved dependencies carried a version and a supported ecosystem",
        "scope": "repository_graph",
        "source": null,
        "findings": [],
        "collected": false,
        "malicious": [],
        "truncated": false,
        "by_severity": {},
        "advisory_count": 0,
        "affected_count": 0,
        "assessed_count": 0,
        "malicious_count": 0,
        "assessed_package": null,
        "unassessed_count": 2,
        "direct_affected_count": 0
      },
      "ecosystems": [
        "crates"
      ],
      "dependencies": [
        {
          "name": "arbitrary",
          "manifest": "triton-air/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "constraint-circuit",
          "manifest": "triton-air/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "isa",
          "manifest": "triton-air/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "itertools",
          "manifest": "triton-air/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "strum",
          "manifest": "triton-air/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "twenty-first",
          "manifest": "triton-air/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "air",
          "manifest": "triton-constraint-builder/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "constraint-circuit",
          "manifest": "triton-constraint-builder/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "isa",
          "manifest": "triton-constraint-builder/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "itertools",
          "manifest": "triton-constraint-builder/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "prettyplease",
          "manifest": "triton-constraint-builder/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "proc-macro2",
          "manifest": "triton-constraint-builder/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "quote",
          "manifest": "triton-constraint-builder/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "strum",
          "manifest": "triton-constraint-builder/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "syn",
          "manifest": "triton-constraint-builder/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "twenty-first",
          "manifest": "triton-constraint-builder/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "arbitrary",
          "manifest": "triton-constraint-circuit/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "itertools",
          "manifest": "triton-constraint-circuit/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "num-traits",
          "manifest": "triton-constraint-circuit/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "ndarray",
          "manifest": "triton-constraint-circuit/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "proc-macro2",
          "manifest": "triton-constraint-circuit/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "quote",
          "manifest": "triton-constraint-circuit/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "twenty-first",
          "manifest": "triton-constraint-circuit/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "bon",
          "manifest": "triton-dev-util/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "triton-vm",
          "manifest": "triton-dev-util/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "arbitrary",
          "manifest": "triton-isa/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "get-size2",
          "manifest": "triton-isa/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "itertools",
          "manifest": "triton-isa/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "lazy_static",
          "manifest": "triton-isa/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "nom",
          "manifest": "triton-isa/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "nom-language",
          "manifest": "triton-isa/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "num-traits",
          "manifest": "triton-isa/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "serde",
          "manifest": "triton-isa/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "strum",
          "manifest": "triton-isa/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "thiserror",
          "manifest": "triton-isa/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "twenty-first",
          "manifest": "triton-isa/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "air",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "arbitrary",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "colored",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "constraint-builder",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "get-size2",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "indexmap",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "isa",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "itertools",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "memory-stats",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "ndarray",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "num-traits",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "rand",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "rayon",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "serde",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "strum",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "thiserror",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "twenty-first",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "unicode-width",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        },
        {
          "name": "web-time",
          "manifest": "triton-vm/Cargo.toml",
          "ecosystem": "crates",
          "version_constraint": null
        }
      ],
      "all_dependencies": {
        "error": null,
        "source": "github-sbom",
        "packages": [
          {
            "name": "criterion",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          },
          {
            "name": "wasm-bindgen-test",
            "direct": false,
            "version": null,
            "ecosystem": "crates"
          }
        ],
        "collected": true,
        "truncated": false,
        "total_count": 2,
        "direct_count": 0,
        "indirect_count": 2
      }
    },
    "maintainership": {
      "issues": {
        "open_prs": 4,
        "merged_prs": 177,
        "open_issues": 28,
        "closed_ratio": 0.857,
        "closed_issues": 168,
        "closed_unmerged_prs": 51
      },
      "bus_factor": 1,
      "bot_contributors": 0,
      "top_contributors": [
        {
          "type": "User",
          "login": "jan-ferdinand",
          "commits": 1953,
          "avatar_url": "https://avatars.githubusercontent.com/u/4719768?v=4"
        },
        {
          "type": "User",
          "login": "aszepieniec",
          "commits": 303,
          "avatar_url": "https://avatars.githubusercontent.com/u/1583170?v=4"
        },
        {
          "type": "User",
          "login": "Sword-Smith",
          "commits": 95,
          "avatar_url": "https://avatars.githubusercontent.com/u/8418024?v=4"
        },
        {
          "type": "User",
          "login": "sshine",
          "commits": 87,
          "avatar_url": "https://avatars.githubusercontent.com/u/50879?v=4"
        },
        {
          "type": "User",
          "login": "AlexanderLemmens",
          "commits": 11,
          "avatar_url": "https://avatars.githubusercontent.com/u/47859032?v=4"
        },
        {
          "type": "User",
          "login": "Ulrik-dk",
          "commits": 1,
          "avatar_url": "https://avatars.githubusercontent.com/u/30180650?v=4"
        },
        {
          "type": "User",
          "login": "contrun",
          "commits": 1,
          "avatar_url": "https://avatars.githubusercontent.com/u/32609395?v=4"
        },
        {
          "type": "User",
          "login": "Einstellung",
          "commits": 1,
          "avatar_url": "https://avatars.githubusercontent.com/u/26652483?v=4"
        }
      ],
      "contributors_sampled": 8,
      "top_contributor_share": 0.796
    },
    "quality_signals": {
      "has_ci": true,
      "has_tests": false,
      "ci_workflows": [
        "audit.yml",
        "codspeed.yml",
        "coverage.yml",
        "link_checker.yml",
        "main.yml",
        "mdbook.yml",
        "wasm.yml",
        "zizmor.yml"
      ],
      "has_docs_dir": false,
      "linter_configs": [],
      "has_editorconfig": false,
      "has_linter_config": false,
      "has_precommit_config": false
    },
    "security_signals": {
      "lockfiles": [],
      "scorecard": {
        "checks": [
          {
            "name": "Binary-Artifacts",
            "score": 10,
            "reason": "no binaries found in the repo",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
          },
          {
            "name": "Branch-Protection",
            "score": null,
            "reason": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
          },
          {
            "name": "CI-Tests",
            "score": 10,
            "reason": "6 out of 6 merged PRs checked by a CI test -- score normalized to 10",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
          },
          {
            "name": "CII-Best-Practices",
            "score": 0,
            "reason": "no effort to earn an OpenSSF best practices badge detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
          },
          {
            "name": "Code-Review",
            "score": 2,
            "reason": "Found 5/24 approved changesets -- score normalized to 2",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
          },
          {
            "name": "Contributors",
            "score": 10,
            "reason": "project has 6 contributing companies or organizations",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
          },
          {
            "name": "Dangerous-Workflow",
            "score": 10,
            "reason": "no dangerous workflow patterns detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
          },
          {
            "name": "Dependency-Update-Tool",
            "score": 0,
            "reason": "no update tool detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
          },
          {
            "name": "Fuzzing",
            "score": 0,
            "reason": "project is not fuzzed",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
          },
          {
            "name": "License",
            "score": 10,
            "reason": "license file detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
          },
          {
            "name": "Maintained",
            "score": 10,
            "reason": "30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
          },
          {
            "name": "Packaging",
            "score": null,
            "reason": "packaging workflow not detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
          },
          {
            "name": "Pinned-Dependencies",
            "score": 10,
            "reason": "all dependencies are pinned",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
          },
          {
            "name": "SAST",
            "score": 10,
            "reason": "SAST tool is run on all commits",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
          },
          {
            "name": "Security-Policy",
            "score": 10,
            "reason": "security policy file detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
          },
          {
            "name": "Signed-Releases",
            "score": null,
            "reason": "no releases found",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
          },
          {
            "name": "Token-Permissions",
            "score": 10,
            "reason": "GitHub workflow tokens follow principle of least privilege",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
          },
          {
            "name": "Vulnerabilities",
            "score": 10,
            "reason": "0 existing vulnerabilities detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
          }
        ],
        "commit": "8cd9a0ebe5f6c2cdbd8b8705a5eff3d4aa2bd821",
        "ran_at": "2026-07-25T07:28:09Z",
        "aggregate_score": 7.5,
        "scorecard_version": "v5.5.0"
      },
      "has_codeql_workflow": false,
      "has_security_policy": true,
      "has_dependabot_config": false
    },
    "contribution_flow": {
      "collected": true,
      "ci_last_run_at": "2026-07-25T02:12:53Z",
      "oldest_open_prs": [
        {
          "number": 351,
          "created_at": "2025-03-25T17:15:24Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 357,
          "created_at": "2025-06-11T11:55:26Z",
          "last_comment_at": "2025-06-13T13:16:44Z",
          "last_comment_author": "jan-ferdinand"
        },
        {
          "number": 373,
          "created_at": "2025-09-08T19:18:35Z",
          "last_comment_at": "2025-10-01T07:13:39Z",
          "last_comment_author": "jan-ferdinand"
        },
        {
          "number": 438,
          "created_at": "2026-06-15T11:59:15Z",
          "last_comment_at": null,
          "last_comment_author": null
        }
      ],
      "last_merged_pr_at": "2026-06-22T12:53:59Z",
      "ci_last_conclusion": "FAILURE",
      "oldest_open_issues": [
        {
          "number": 8,
          "created_at": "2022-08-08T08:29:25Z",
          "last_comment_at": "2023-02-17T13:14:34Z",
          "last_comment_author": "jan-ferdinand"
        },
        {
          "number": 100,
          "created_at": "2022-10-31T20:19:00Z",
          "last_comment_at": "2022-11-09T16:01:44Z",
          "last_comment_author": "jan-ferdinand"
        },
        {
          "number": 108,
          "created_at": "2022-11-09T19:26:56Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 169,
          "created_at": "2023-01-19T10:20:43Z",
          "last_comment_at": "2025-03-25T17:00:28Z",
          "last_comment_author": "jan-ferdinand"
        },
        {
          "number": 180,
          "created_at": "2023-02-15T11:52:18Z",
          "last_comment_at": "2023-02-15T12:15:11Z",
          "last_comment_author": "jan-ferdinand"
        },
        {
          "number": 202,
          "created_at": "2023-06-01T06:03:37Z",
          "last_comment_at": "2025-04-03T11:12:33Z",
          "last_comment_author": "aszepieniec"
        },
        {
          "number": 211,
          "created_at": "2023-07-03T11:04:07Z",
          "last_comment_at": "2023-07-04T09:57:17Z",
          "last_comment_author": "jan-ferdinand"
        },
        {
          "number": 220,
          "created_at": "2023-08-15T14:04:05Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 239,
          "created_at": "2023-11-17T20:19:59Z",
          "last_comment_at": "2025-03-20T15:09:07Z",
          "last_comment_author": "jan-ferdinand"
        },
        {
          "number": 243,
          "created_at": "2023-12-07T14:08:19Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 256,
          "created_at": "2024-03-09T16:56:03Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 258,
          "created_at": "2024-03-16T12:09:19Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 259,
          "created_at": "2024-03-26T11:20:34Z",
          "last_comment_at": "2024-08-01T12:57:57Z",
          "last_comment_author": "aszepieniec"
        },
        {
          "number": 273,
          "created_at": "2024-04-30T15:38:50Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 278,
          "created_at": "2024-05-07T10:41:33Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 301,
          "created_at": "2024-06-11T13:54:11Z",
          "last_comment_at": "2025-10-29T13:58:18Z",
          "last_comment_author": "aszepieniec"
        },
        {
          "number": 302,
          "created_at": "2024-06-11T15:54:52Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 303,
          "created_at": "2024-06-17T14:42:42Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 322,
          "created_at": "2024-08-30T10:19:20Z",
          "last_comment_at": "2025-01-08T16:37:45Z",
          "last_comment_author": "jan-ferdinand"
        },
        {
          "number": 324,
          "created_at": "2024-09-12T11:21:10Z",
          "last_comment_at": "2024-11-14T18:21:38Z",
          "last_comment_author": "jan-ferdinand"
        }
      ]
    }
  },
  "config": {
    "disabled_metrics": [],
    "disabled_categories": [],
    "disabled_components": {}
  },
  "source": {
    "url": "https://github.com/TritonVM/triton-vm",
    "host": "github.com",
    "name": "triton-vm",
    "owner": "TritonVM"
  },
  "metrics": {
    "overall": {
      "key": "overall",
      "band": "moderate",
      "name": "Overall health",
      "note": null,
      "notes": [],
      "value": 65,
      "inputs": {
        "security": 75,
        "vitality": 74,
        "community": 64,
        "governance": 62,
        "engineering": 52
      },
      "components": []
    },
    "categories": [
      {
        "key": "vitality",
        "band": "good",
        "name": "Vitality",
        "value": 74,
        "weight": 0.22,
        "metrics": [
          {
            "key": "development_activity",
            "band": "moderate",
            "name": "Development activity",
            "note": null,
            "notes": [],
            "value": 62,
            "inputs": {
              "commits_last_year": 81,
              "human_commit_share": 1,
              "days_since_last_push": 32,
              "active_weeks_last_year": 24
            },
            "components": [
              {
                "key": "push_recency",
                "name": "Push recency",
                "detail": "last push 32 days ago",
                "points": 18,
                "status": "partial",
                "details": [
                  {
                    "code": "push_recency",
                    "params": {
                      "days": 32
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_cadence",
                "name": "Commit cadence",
                "detail": "24/52 weeks with commits",
                "points": 16.6,
                "status": "partial",
                "details": [
                  {
                    "code": "commit_cadence_weeks",
                    "params": {
                      "weeks": 24
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_volume",
                "name": "Commit volume",
                "detail": "81 commits in the last year",
                "points": 17.2,
                "status": "partial",
                "details": [
                  {
                    "code": "commits_last_year",
                    "params": {
                      "count": 81
                    }
                  }
                ],
                "max_points": 18
              },
              {
                "key": "openssf_scorecard_maintained",
                "name": "OpenSSF Scorecard: Maintained",
                "detail": "30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "release_discipline",
            "band": "excellent",
            "name": "Release discipline",
            "note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "openssf_scorecard_signed_releases"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 92,
            "inputs": {
              "releases_count": 10,
              "latest_release_tag": "v3.0.0",
              "releases_from_tags": false,
              "days_since_latest_release": 74,
              "mean_days_between_releases": 60.3
            },
            "components": [
              {
                "key": "ships_releases",
                "name": "Ships releases",
                "detail": "10 releases published",
                "points": 27,
                "status": "met",
                "details": [
                  {
                    "code": "releases_published",
                    "params": {
                      "count": 10
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "release_recency",
                "name": "Release recency",
                "detail": "latest release 74 days ago",
                "points": 36,
                "status": "met",
                "details": [
                  {
                    "code": "release_recency",
                    "params": {
                      "days": 74
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "release_cadence",
                "name": "Release cadence",
                "detail": "a release every ~60.3 days",
                "points": 19.8,
                "status": "partial",
                "details": [
                  {
                    "code": "release_cadence",
                    "params": {
                      "gap": 60.3
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "openssf_scorecard_signed_releases",
                "name": "OpenSSF Scorecard: Signed-Releases",
                "detail": "no releases found",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 10
              }
            ]
          },
          {
            "key": "abandonment",
            "band": "excellent",
            "name": "Abandonment",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "cap": null,
              "state": "maintained",
              "guards": [],
              "signals": [],
              "red_flag": false,
              "multiplier_pct": 100,
              "declared_reason": null,
              "unverified_reason": null,
              "unanswered_open_prs": null,
              "unanswered_open_issues": null,
              "days_since_last_merged_pr": null,
              "days_since_last_human_commit": 32,
              "days_since_last_human_commit_is_floor": false
            },
            "components": [
              {
                "key": "project_is_still_maintained",
                "name": "Project is still maintained",
                "detail": "last human commit 32 days ago",
                "points": 100,
                "status": "met",
                "details": [
                  {
                    "code": "abandonment_maintained",
                    "params": {
                      "days": 32
                    }
                  }
                ],
                "max_points": 100
              }
            ]
          }
        ],
        "description": "Is the project alive — is code being written and are releases shipping?"
      },
      {
        "key": "community",
        "band": "moderate",
        "name": "Community & Adoption",
        "value": 64,
        "weight": 0.18,
        "metrics": [
          {
            "key": "popularity",
            "band": "moderate",
            "name": "Popularity & adoption",
            "note": null,
            "notes": [],
            "value": 60,
            "inputs": {
              "forks": 57,
              "stars": 278,
              "watchers": 14,
              "growth_state": "unverified",
              "growth_factor_pct": 100,
              "growth_unverified_reason": "no_history"
            },
            "components": [
              {
                "key": "stars",
                "name": "Stars",
                "detail": "278 stars",
                "points": 39.6,
                "status": "partial",
                "details": [
                  {
                    "code": "stars",
                    "params": {
                      "count": 278
                    }
                  }
                ],
                "max_points": 60
              },
              {
                "key": "forks",
                "name": "Forks",
                "detail": "57 forks",
                "points": 14.6,
                "status": "partial",
                "details": [
                  {
                    "code": "forks",
                    "params": {
                      "count": 57
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "watchers",
                "name": "Watchers",
                "detail": "14 watchers",
                "points": 6.2,
                "status": "partial",
                "details": [
                  {
                    "code": "watchers",
                    "params": {
                      "count": 14
                    }
                  }
                ],
                "max_points": 15
              }
            ]
          },
          {
            "key": "community_health",
            "band": "good",
            "name": "Community health",
            "note": null,
            "notes": [],
            "value": 70,
            "inputs": {
              "has_readme": true,
              "has_license": true,
              "has_contributing": true,
              "has_issue_template": false,
              "has_code_of_conduct": false,
              "has_pull_request_template": false
            },
            "components": [
              {
                "key": "readme",
                "name": "README",
                "detail": null,
                "points": 22.5,
                "status": "met",
                "details": [],
                "max_points": 22.5
              },
              {
                "key": "license",
                "name": "License",
                "detail": "recognized license (Apache-2.0)",
                "points": 22.5,
                "status": "met",
                "details": [
                  {
                    "code": "license_standard",
                    "params": {}
                  },
                  {
                    "code": "license_spdx",
                    "params": {
                      "spdx": "Apache-2.0"
                    }
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributing_guide",
                "name": "CONTRIBUTING guide",
                "detail": null,
                "points": 18,
                "status": "met",
                "details": [],
                "max_points": 18
              },
              {
                "key": "code_of_conduct",
                "name": "Code of conduct",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 13.5
              },
              {
                "key": "issue_template",
                "name": "Issue template",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.2
              },
              {
                "key": "pr_template",
                "name": "PR template",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 6.3
              }
            ]
          },
          {
            "key": "ecosystem_adoption",
            "band": "moderate",
            "name": "Ecosystem adoption (downloads)",
            "note": "Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "registry_dependents"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 63,
            "inputs": {
              "packages": [
                "triton-vm",
                "triton-air",
                "triton-isa",
                "triton-constraint-builder",
                "triton-constraint-circuit"
              ],
              "dependents": null,
              "ecosystems": "crates",
              "total_downloads": 259671,
              "monthly_downloads": 6079
            },
            "components": [
              {
                "key": "monthly_downloads",
                "name": "Monthly downloads",
                "detail": "6,079 downloads/month across crates",
                "points": 50.5,
                "status": "partial",
                "details": [
                  {
                    "code": "downloads_monthly",
                    "params": {
                      "count": 6079,
                      "ecosystems": "crates"
                    }
                  }
                ],
                "max_points": 80
              },
              {
                "key": "registry_dependents",
                "name": "Registry dependents",
                "detail": "not reported by this ecosystem",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "not_reported_by_this_ecosystem",
                    "params": {}
                  }
                ],
                "max_points": 20
              }
            ]
          }
        ],
        "description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
      },
      {
        "key": "governance",
        "band": "moderate",
        "name": "Sustainability & Governance",
        "value": 62,
        "weight": 0.24,
        "metrics": [
          {
            "key": "maintainer_resilience",
            "band": "at_risk",
            "name": "Maintainer resilience (bus factor)",
            "note": null,
            "notes": [],
            "value": 34,
            "inputs": {
              "bus_factor": 1,
              "contributors_sampled": 8,
              "top_contributor_share": 0.796
            },
            "components": [
              {
                "key": "bus_factor",
                "name": "Bus factor",
                "detail": "1 contributor(s) cover half of all commits",
                "points": 9,
                "status": "partial",
                "details": [
                  {
                    "code": "bus_factor",
                    "params": {
                      "count": 1
                    }
                  }
                ],
                "max_points": 54
              },
              {
                "key": "commit_distribution",
                "name": "Commit distribution",
                "detail": "top contributor authored 80% of commits",
                "points": 4.6,
                "status": "partial",
                "details": [
                  {
                    "code": "top_contributor_share",
                    "params": {
                      "share": 80
                    }
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributor_breadth",
                "name": "Contributor breadth",
                "detail": "8 contributors",
                "points": 10.8,
                "status": "partial",
                "details": [
                  {
                    "code": "contributors_sampled",
                    "params": {
                      "count": 8
                    }
                  }
                ],
                "max_points": 13.5
              },
              {
                "key": "openssf_scorecard_contributors",
                "name": "OpenSSF Scorecard: Contributors",
                "detail": "project has 6 contributing companies or organizations",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "responsiveness",
            "band": "good",
            "name": "Issue & PR responsiveness",
            "note": null,
            "notes": [],
            "value": 73,
            "inputs": {
              "merged_prs": 177,
              "open_issues": 28,
              "closed_issues": 168,
              "issue_closed_ratio": 0.857,
              "closed_unmerged_prs": 51
            },
            "components": [
              {
                "key": "issue_resolution",
                "name": "Issue resolution",
                "detail": "86% of issues closed",
                "points": 40.1,
                "status": "partial",
                "details": [
                  {
                    "code": "issues_closed_share",
                    "params": {
                      "share": 86
                    }
                  }
                ],
                "max_points": 46.75
              },
              {
                "key": "pr_acceptance",
                "name": "PR acceptance",
                "detail": "177/228 decided PRs merged",
                "points": 29.7,
                "status": "partial",
                "details": [
                  {
                    "code": "decided_prs_merged",
                    "params": {
                      "merged": 177,
                      "decided": 228
                    }
                  }
                ],
                "max_points": 38.25
              },
              {
                "key": "openssf_scorecard_code_review",
                "name": "OpenSSF Scorecard: Code-Review",
                "detail": "Found 5/24 approved changesets -- score normalized to 2",
                "points": 3,
                "status": "partial",
                "details": [],
                "max_points": 15
              }
            ]
          },
          {
            "key": "stewardship",
            "band": "moderate",
            "name": "Ownership & stewardship",
            "note": null,
            "notes": [],
            "value": 56,
            "inputs": {
              "followers": 37,
              "owner_type": "Organization",
              "is_verified": null,
              "owner_login": "TritonVM",
              "public_repos": 7,
              "account_age_days": 1534
            },
            "components": [
              {
                "key": "ownership_backing",
                "name": "Ownership backing",
                "detail": "organization-owned",
                "points": 30,
                "status": "met",
                "details": [
                  {
                    "code": "owner_organization",
                    "params": {}
                  }
                ],
                "max_points": 30
              },
              {
                "key": "verified_domain",
                "name": "Verified domain",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 20
              },
              {
                "key": "owner_reach",
                "name": "Owner reach",
                "detail": "37 followers of TritonVM",
                "points": 11.4,
                "status": "partial",
                "details": [
                  {
                    "code": "owner_followers",
                    "params": {
                      "count": 37,
                      "login": "TritonVM"
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "track_record",
                "name": "Track record",
                "detail": "7 public repos, account ~4 yr old",
                "points": 15,
                "status": "partial",
                "details": [
                  {
                    "code": "public_repos",
                    "params": {
                      "count": 7
                    }
                  },
                  {
                    "code": "account_age_years",
                    "params": {
                      "years": 4
                    }
                  }
                ],
                "max_points": 25
              }
            ]
          },
          {
            "key": "package_maintenance",
            "band": "excellent",
            "name": "Package maintenance",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "packages": [
                "triton-vm",
                "triton-air",
                "triton-isa",
                "triton-constraint-builder",
                "triton-constraint-circuit"
              ],
              "ecosystems": "crates",
              "any_deprecated": false,
              "min_days_since_publish": 37
            },
            "components": [
              {
                "key": "published_resolvable",
                "name": "Published & resolvable",
                "detail": "5 package(s) on crates",
                "points": 25,
                "status": "met",
                "details": [
                  {
                    "code": "packages_published",
                    "params": {
                      "count": 5,
                      "ecosystems": "crates"
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "publish_recency",
                "name": "Publish recency",
                "detail": "latest publish 37 days ago",
                "points": 35,
                "status": "met",
                "details": [
                  {
                    "code": "publish_recency",
                    "params": {
                      "days": 37
                    }
                  }
                ],
                "max_points": 35
              },
              {
                "key": "version_history",
                "name": "Version history",
                "detail": "68 published versions",
                "points": 20,
                "status": "met",
                "details": [
                  {
                    "code": "published_versions",
                    "params": {
                      "count": 68
                    }
                  }
                ],
                "max_points": 20
              },
              {
                "key": "not_deprecated",
                "name": "Not deprecated",
                "detail": "active, not deprecated or yanked",
                "points": 20,
                "status": "met",
                "details": [
                  {
                    "code": "package_not_deprecated",
                    "params": {}
                  }
                ],
                "max_points": 20
              }
            ]
          }
        ],
        "description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
      },
      {
        "key": "engineering",
        "band": "moderate",
        "name": "Engineering Quality",
        "value": 52,
        "weight": 0.2,
        "metrics": [
          {
            "key": "engineering_practices",
            "band": "at_risk",
            "name": "Engineering practices",
            "note": null,
            "notes": [],
            "value": 44,
            "inputs": {
              "has_ci": true,
              "has_tests": false,
              "has_editorconfig": false,
              "has_linter_config": false,
              "has_precommit_config": false
            },
            "components": [
              {
                "key": "ci_workflows",
                "name": "CI workflows",
                "detail": "8 workflow(s)",
                "points": 24,
                "status": "met",
                "details": [
                  {
                    "code": "ci_workflows",
                    "params": {
                      "count": 8
                    }
                  }
                ],
                "max_points": 24
              },
              {
                "key": "tests_present",
                "name": "Tests present",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 24
              },
              {
                "key": "linter_config",
                "name": "Linter config",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 16
              },
              {
                "key": "pre_commit_hooks",
                "name": "Pre-commit hooks",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 9.6
              },
              {
                "key": "editorconfig",
                "name": ".editorconfig",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 6.4
              },
              {
                "key": "openssf_scorecard_ci_tests",
                "name": "OpenSSF Scorecard: CI-Tests",
                "detail": "6 out of 6 merged PRs checked by a CI test -- score normalized to 10",
                "points": 20,
                "status": "met",
                "details": [],
                "max_points": 20
              }
            ]
          },
          {
            "key": "documentation",
            "band": "moderate",
            "name": "Documentation",
            "note": null,
            "notes": [],
            "value": 65,
            "inputs": {
              "topics": [
                "rust",
                "cryptography",
                "stark",
                "zero-knowledge",
                "zk-starks"
              ],
              "has_wiki": false,
              "homepage": "https://triton-vm.org",
              "has_readme": true,
              "has_docs_dir": false,
              "has_description": true
            },
            "components": [
              {
                "key": "readme",
                "name": "README",
                "detail": null,
                "points": 30,
                "status": "met",
                "details": [],
                "max_points": 30
              },
              {
                "key": "documentation_directory",
                "name": "Documentation directory",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 25
              },
              {
                "key": "documentation_homepage_site",
                "name": "Documentation / homepage site",
                "detail": "https://triton-vm.org",
                "points": 15,
                "status": "met",
                "details": [],
                "max_points": 15
              },
              {
                "key": "repository_description",
                "name": "Repository description",
                "detail": null,
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              },
              {
                "key": "topics",
                "name": "Topics",
                "detail": "5 topics",
                "points": 10,
                "status": "met",
                "details": [
                  {
                    "code": "topics_count",
                    "params": {
                      "count": 5
                    }
                  }
                ],
                "max_points": 10
              },
              {
                "key": "wiki",
                "name": "Wiki",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 10
              }
            ]
          }
        ],
        "description": "Are baseline engineering and documentation practices in place?"
      },
      {
        "key": "security",
        "band": "good",
        "name": "Security",
        "value": 75,
        "weight": 0.16,
        "metrics": [
          {
            "key": "security_posture",
            "band": "good",
            "name": "Security posture",
            "note": "Excluded from scoring (no data or not applicable): Branch-Protection, Packaging, Signed-Releases. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "branch_protection",
                    "packaging",
                    "signed_releases"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 75,
            "inputs": {
              "source": "openssf_scorecard",
              "checks_evaluated": 15,
              "scorecard_version": "v5.5.0",
              "checks_inconclusive": 3,
              "scorecard_aggregate": 7.5
            },
            "components": [
              {
                "key": "binary_artifacts",
                "name": "Binary-Artifacts",
                "detail": "no binaries found in the repo",
                "points": 7.5,
                "status": "met",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "branch_protection",
                "name": "Branch-Protection",
                "detail": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 7.5
              },
              {
                "key": "ci_tests",
                "name": "CI-Tests",
                "detail": "6 out of 6 merged PRs checked by a CI test -- score normalized to 10",
                "points": 2.5,
                "status": "met",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "cii_best_practices",
                "name": "CII-Best-Practices",
                "detail": "no effort to earn an OpenSSF best practices badge detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "code_review",
                "name": "Code-Review",
                "detail": "Found 5/24 approved changesets -- score normalized to 2",
                "points": 1.5,
                "status": "partial",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "contributors",
                "name": "Contributors",
                "detail": "project has 6 contributing companies or organizations",
                "points": 2.5,
                "status": "met",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "dangerous_workflow",
                "name": "Dangerous-Workflow",
                "detail": "no dangerous workflow patterns detected",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              },
              {
                "key": "dependency_update_tool",
                "name": "Dependency-Update-Tool",
                "detail": "no update tool detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "fuzzing",
                "name": "Fuzzing",
                "detail": "project is not fuzzed",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 5
              },
              {
                "key": "license",
                "name": "License",
                "detail": "license file detected",
                "points": 2.5,
                "status": "met",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "maintained",
                "name": "Maintained",
                "detail": "30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10",
                "points": 7.5,
                "status": "met",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "packaging",
                "name": "Packaging",
                "detail": "packaging workflow not detected",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 5
              },
              {
                "key": "pinned_dependencies",
                "name": "Pinned-Dependencies",
                "detail": "all dependencies are pinned",
                "points": 5,
                "status": "met",
                "details": [],
                "max_points": 5
              },
              {
                "key": "sast",
                "name": "SAST",
                "detail": "SAST tool is run on all commits",
                "points": 5,
                "status": "met",
                "details": [],
                "max_points": 5
              },
              {
                "key": "security_policy",
                "name": "Security-Policy",
                "detail": "security policy file detected",
                "points": 5,
                "status": "met",
                "details": [],
                "max_points": 5
              },
              {
                "key": "signed_releases",
                "name": "Signed-Releases",
                "detail": "no releases found",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 7.5
              },
              {
                "key": "token_permissions",
                "name": "Token-Permissions",
                "detail": "GitHub workflow tokens follow principle of least privilege",
                "points": 7.5,
                "status": "met",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "vulnerabilities",
                "name": "Vulnerabilities",
                "detail": "0 existing vulnerabilities detected",
                "points": 7.5,
                "status": "met",
                "details": [],
                "max_points": 7.5
              }
            ]
          },
          {
            "key": "high_risk_jurisdiction_exposure",
            "band": "excellent",
            "name": "High-Risk Jurisdiction Exposure",
            "note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
            "notes": [
              {
                "code": "jurisdiction_evidence_limits",
                "params": {}
              }
            ],
            "value": 100,
            "inputs": {
              "meaning": "self-published location evidence; not nationality or citizenship",
              "red_flag": false,
              "exposures": [],
              "policy_countries": [
                "Russia",
                "Iran",
                "North Korea"
              ],
              "review_only_matches": 0,
              "assessed_self_published_locations": 3
            },
            "components": [
              {
                "key": "policy_exposure_multiplier",
                "name": "Policy exposure multiplier",
                "detail": "no confirmed policy-scope location match",
                "points": 100,
                "status": "met",
                "details": [
                  {
                    "code": "jurisdiction_no_match",
                    "params": {}
                  }
                ],
                "max_points": 100
              }
            ]
          }
        ],
        "description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
      },
      {
        "key": "ai_readiness",
        "band": "at_risk",
        "name": "AI Readiness",
        "value": 47,
        "weight": 0,
        "metrics": [
          {
            "key": "ai_agent_context",
            "band": "at_risk",
            "name": "Agent context & guidance",
            "note": null,
            "notes": [],
            "value": 40,
            "inputs": {
              "has_llms_txt": false,
              "legible_history_share": 1,
              "agent_instruction_files": [],
              "agent_instruction_max_bytes": null
            },
            "components": [
              {
                "key": "agent_instructions",
                "name": "Agent instructions",
                "detail": "no CLAUDE.md / AGENTS.md / editor rules",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "no_agent_instructions",
                    "params": {}
                  }
                ],
                "max_points": 45
              },
              {
                "key": "machine_readable_docs_llms_txt",
                "name": "Machine-readable docs (llms.txt)",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 15
              },
              {
                "key": "legible_commit_history",
                "name": "Legible commit history",
                "detail": "100 of 100 human commits state their intent (structured subject or explanatory body)",
                "points": 40,
                "status": "met",
                "details": [
                  {
                    "code": "legible_history",
                    "params": {
                      "legible": 100,
                      "sampled": 100
                    }
                  }
                ],
                "max_points": 40
              }
            ]
          },
          {
            "key": "ai_verify_loop",
            "band": "at_risk",
            "name": "Verify loop (build / test / typecheck)",
            "note": null,
            "notes": [],
            "value": 38,
            "inputs": {
              "has_nix": false,
              "has_tests": false,
              "lockfiles": [],
              "has_dockerfile": false,
              "typed_language": true,
              "bootstrap_files": [],
              "has_devcontainer": false,
              "has_linter_config": false,
              "typecheck_configs": [],
              "agent_commit_share": 0.02,
              "toolchain_manifests": [
                "Cargo.toml",
                "triton-air/Cargo.toml",
                "triton-constraint-builder/Cargo.toml",
                "triton-constraint-circuit/Cargo.toml",
                "triton-dev-util/Cargo.toml",
                "triton-isa/Cargo.toml",
                "triton-vm/Cargo.toml"
              ],
              "dependency_bot_commit_share": 0
            },
            "components": [
              {
                "key": "one_command_bootstrap",
                "name": "One-command bootstrap",
                "detail": "Cargo.toml, triton-air/Cargo.toml, triton-constraint-builder/Cargo.toml (toolchain convention, no task runner)",
                "points": 12.6,
                "status": "partial",
                "details": [
                  {
                    "code": "toolchain_convention",
                    "params": {
                      "files": "Cargo.toml, triton-air/Cargo.toml, triton-constraint-builder/Cargo.toml"
                    }
                  }
                ],
                "max_points": 18
              },
              {
                "key": "automated_tests",
                "name": "Automated tests",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 22
              },
              {
                "key": "lint_format_config",
                "name": "Lint / format config",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 11
              },
              {
                "key": "static_type_checking",
                "name": "Static type checking",
                "detail": "Rust (statically typed)",
                "points": 11,
                "status": "met",
                "details": [
                  {
                    "code": "statically_typed_language",
                    "params": {
                      "language": "Rust"
                    }
                  }
                ],
                "max_points": 11
              },
              {
                "key": "reproducible_environment",
                "name": "Reproducible environment",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 10
              },
              {
                "key": "demonstrated_agent_practice",
                "name": "Demonstrated agent practice",
                "detail": "2 of the last 100 commits agent-authored or agent-credited",
                "points": 4,
                "status": "partial",
                "details": [
                  {
                    "code": "agent_authored_commits",
                    "params": {
                      "count": 2,
                      "sampled": 100
                    }
                  }
                ],
                "max_points": 10
              },
              {
                "key": "automated_maintenance",
                "name": "Automated maintenance",
                "detail": "no automated dependency updates observed",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "no_dependency_automation",
                    "params": {}
                  }
                ],
                "max_points": 8
              },
              {
                "key": "openssf_scorecard_pinned_dependencies",
                "name": "OpenSSF Scorecard: Pinned-Dependencies",
                "detail": "all dependencies are pinned",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "ai_code_legibility",
            "band": "excellent",
            "name": "Code legibility for models",
            "note": null,
            "notes": [],
            "value": 93,
            "inputs": {
              "primary_language": "Rust",
              "largest_source_bytes": 218656,
              "source_files_sampled": 73,
              "oversized_source_files": 9
            },
            "components": [
              {
                "key": "type_checkable_code",
                "name": "Type-checkable code",
                "detail": "Rust (statically typed)",
                "points": 45,
                "status": "met",
                "details": [
                  {
                    "code": "statically_typed_language",
                    "params": {
                      "language": "Rust"
                    }
                  }
                ],
                "max_points": 45
              },
              {
                "key": "manageable_file_sizes",
                "name": "Manageable file sizes",
                "detail": "9/73 source files over 60KB",
                "points": 48.2,
                "status": "partial",
                "details": [
                  {
                    "code": "oversized_source_files",
                    "params": {
                      "kb": 60,
                      "sampled": 73,
                      "oversized": 9
                    }
                  }
                ],
                "max_points": 55
              }
            ]
          },
          {
            "key": "ai_interfaces",
            "band": "at_risk",
            "name": "Machine-readable interfaces",
            "note": null,
            "notes": [],
            "value": 40,
            "inputs": {
              "example_dirs": [
                "examples"
              ],
              "has_mcp_signal": false,
              "api_schema_files": []
            },
            "components": [
              {
                "key": "api_schema_openapi_graphql_proto",
                "name": "API schema (OpenAPI/GraphQL/proto)",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 40
              },
              {
                "key": "mcp_server",
                "name": "MCP server",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 20
              },
              {
                "key": "runnable_examples",
                "name": "Runnable examples",
                "detail": "examples",
                "points": 40,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "examples"
                    }
                  }
                ],
                "max_points": 40
              }
            ]
          }
        ],
        "description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
      }
    ],
    "metrics_version": "1.13.0"
  },
  "warnings": [
    "Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
    "Could not fetch crates package 'triton-dev-util' from its registry",
    "No resolved dependencies carried a version and a supported ecosystem"
  ],
  "report_type": "repository",
  "generated_at": "2026-07-25T07:28:22.031904Z",
  "schema_version": "0.27.0",
  "badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/t/TritonVM/triton-vm.svg",
  "full_name": "TritonVM/triton-vm",
  "license_state": "standard",
  "license_spdx": "Apache-2.0"
}

Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.

Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v1.13.0, Schema v0.27.0 — vollständige Methodik · Metriken-Wiki.

Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistikencrates.io.