Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
OR13
/
kt
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Issues
7
Pull requests
2
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Commits
Branch selector
main
User selector
All users
Datepicker
All time
Commit history
Commits on Jul 30, 2026
§9.1 and §13.5, plus the 2026年07月28日 draft revision (#26)
Show description for 57987c1
OR13claude
OR13
and
claude
authored
57987c1
View commit details
Copy full SHA for 57987c1
Browse repository at this point
Commits on Jul 29, 2026
Why: a committed binary that links AGPL code is the one thing the submodule arrangement exists to prevent (#25)
Show description for 8976e74
OR13claude
OR13
and
claude
authored
8976e74
View commit details
Copy full SHA for 8976e74
Browse repository at this point
Why: one algorithm proved the pattern; the other two cost almost nothing and cover the rest of §6–§8
Show description for 825c3f3
OR13claude
OR13
and
claude
committed
825c3f3
View commit details
Copy full SHA for 825c3f3
Browse repository at this point
Why: six rounds of algorithms were verified in one direction only, and that is the direction that cannot catch over-acceptance
Show description for 31c5cc2
OR13claude
OR13
and
claude
committed
31c5cc2
View commit details
Copy full SHA for 31c5cc2
Browse repository at this point
Why: the one algorithm whose proof stops it, rather than it stopping the proof
Show description for 601b52c
OR13claude
OR13
and
claude
committed
601b52c
View commit details
Copy full SHA for 601b52c
Browse repository at this point
Why: an owner adopts a history it has not seen, so it is the one operation that walks left
Show description for 7494fe0
OR13claude
OR13
and
claude
committed
7494fe0
View commit details
Copy full SHA for 7494fe0
Browse repository at this point
Why: monitoring mostly does nothing, and a test that only meets the nothing case proves nothing
Show description for 6fbbd26
OR13claude
OR13
and
claude
committed
6fbbd26
View commit details
Copy full SHA for 6fbbd26
Browse repository at this point
Why: the second live-log file needs the same treatment as the first, and the reason should read once
Show description for 13fee5c
OR13claude
OR13
and
claude
committed
13fee5c
View commit details
Copy full SHA for 13fee5c
Browse repository at this point
Why: monitoring asks a different question, and its answer is nothing but an ordering
Show description for 4f2508d
OR13claude
OR13
and
claude
committed
4f2508d
View commit details
Copy full SHA for 4f2508d
Browse repository at this point
Why: an implemented-unverified row is a promise, and this one was cheap to keep
Show description for 98b0202
OR13claude
OR13
and
claude
committed
98b0202
View commit details
Copy full SHA for 98b0202
Browse repository at this point
Why: a binary search reads the same proof in a different order, and the draft only says so implicitly
Show description for 9f4a9cc
OR13claude
OR13
and
claude
committed
9f4a9cc
View commit details
Copy full SHA for 9f4a9cc
Browse repository at this point
Why: replaying the algorithm is the only way to verify an ordering the bytes do not state
Show description for a511349
OR13claude
OR13
and
claude
committed
a511349
View commit details
Copy full SHA for a511349
Browse repository at this point
Why: a vector file that cannot be reproducible needs a different guarantee, not an exemption
Show description for 897b429
OR13claude
OR13
and
claude
committed
897b429
View commit details
Copy full SHA for 897b429
Browse repository at this point
Why: §12.3 is the only structure in the draft whose bytes do not say what they are for
Show description for b2605f5
OR13claude
OR13
and
claude
committed
b2605f5
View commit details
Copy full SHA for b2605f5
Browse repository at this point
Commits on Jul 28, 2026
Why: without step 5 a log can insert a value and take it away before anyone sees it
Show description for 5a21e99
OR13claude
OR13
and
claude
committed
5a21e99
View commit details
Copy full SHA for 5a21e99
Browse repository at this point
Why: the order-of-attack table is the map, and a stale map sends the next reader the wrong way
Show description for 8ce34d7
OR13claude
OR13
and
claude
committed
8ce34d7
View commit details
Copy full SHA for 8ce34d7
Browse repository at this point
Why: nothing in a FullTreeHead's bytes says how long it is
Show description for 995357e
OR13claude
OR13
and
claude
committed
995357e
View commit details
Copy full SHA for 995357e
Browse repository at this point
Why: the set that decides which entries every user must inspect is computed two different ways
Show description for bad1b84
OR13claude
OR13
and
claude
committed
bad1b84
View commit details
Copy full SHA for bad1b84
Browse repository at this point
Why: an auditor computes a root nobody else computes the same way
Show description for 362a565
OR13claude
OR13
and
claude
committed
362a565
View commit details
Copy full SHA for 362a565
Browse repository at this point
Why: the status table is the first thing a reader trusts, so it has to be current
Show description for da5a7ab
OR13claude
OR13
and
claude
committed
da5a7ab
View commit details
Copy full SHA for da5a7ab
Browse repository at this point
Why: an auditor that guesses a root signs something no user can reproduce
Show description for 15078c4
OR13claude
OR13
and
claude
committed
15078c4
View commit details
Copy full SHA for 15078c4
Browse repository at this point
Why: agreeing on proof bytes is compatible with taking the tree apart differently and getting away with it
Show description for 0289c8c
OR13claude
OR13
and
claude
committed
0289c8c
View commit details
Copy full SHA for 0289c8c
Browse repository at this point
Why: katie is the source of truth, so the question is what it already answers that we have not asked
Show description for 264f05e
OR13claude
OR13
and
claude
committed
264f05e
View commit details
Copy full SHA for 264f05e
Browse repository at this point
Why: §4.2 is the precondition for every other algorithm, and implementing it found a case where a user checks nothing
Show description for 1c76736
OR13claude
OR13
and
claude
committed
1c76736
View commit details
Copy full SHA for 1c76736
Browse repository at this point
Why: signatures are where the bytes stop agreeing with each other and start agreeing with the log
Show description for 5037d49
OR13claude
OR13
and
claude
committed
5037d49
View commit details
Copy full SHA for 5037d49
Browse repository at this point
Why: agreeing on values is the easy half; a suite that never asks a verifier to say no cannot catch one that says yes to everything
Show description for e03bdd7
OR13claude
OR13
and
claude
committed
e03bdd7
View commit details
Copy full SHA for e03bdd7
Browse repository at this point
Why: the VRF is where the specification itself can be the oracle, which beats any peer
Show description for 9c101e5
OR13claude
OR13
and
claude
committed
9c101e5
View commit details
Copy full SHA for 9c101e5
Browse repository at this point
Why: a proof either matches the root the log signed or it does not, and the API should say so
Show description for 77fb7f4
OR13claude
OR13
and
claude
committed
77fb7f4
View commit details
Copy full SHA for 77fb7f4
Browse repository at this point
Why: both hash trees, and the first interop direction that can catch us accepting what the peer rejects
Show description for c2a6ccd
OR13claude
OR13
and
claude
committed
c2a6ccd
View commit details
Copy full SHA for c2a6ccd
Browse repository at this point
Why: an interop claim the community can check for itself, generated by the tests rather than written by hand
Show description for f9bf8d9
OR13claude
OR13
and
claude
committed
f9bf8d9
View commit details
Copy full SHA for f9bf8d9
Browse repository at this point
Why: the tree math is the cheapest thing to get provably right, and everything above it is defined in terms of it
Show description for 09f084d
OR13claude
OR13
and
claude
committed
09f084d
View commit details
Copy full SHA for 09f084d
Browse repository at this point
Why: the commitment vectors need a wire codec and an HMAC to check them against
Show description for 7eb49eb
OR13claude
OR13
and
claude
committed
7eb49eb
View commit details
Copy full SHA for 7eb49eb
Browse repository at this point
Why: stand up a Rust IETF Key Transparency implementation that interoperates with the Go ones
Show description for 1965dfb
OR13claude
OR13
and
claude
committed
1965dfb
View commit details
Copy full SHA for 1965dfb
Browse repository at this point
You can’t perform that action at this time.
AltStyle
によって変換されたページ
(->オリジナル)
/
アドレス:
モード:
デフォルト
音声ブラウザ
ルビ付き
配色反転
文字拡大
モバイル