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"
}