[Keytrans] Re: Keytrans@IETF 126 : Call for agenda topics

[Prachi Jain <[e-mail]>]

Thanks for sharing this, Felix. We will put you on the agenda.

On Thu, Jul 16, 2026 at 3:14 AM Felix Linker <[e-mail]> wrote:

> Hi Prachi and fellow keytrans enthusiasts,
>
> We made progress implementing a client. The client is still very much WIP,
> but I believe (with an asterisk) that it should be able to verify greatest
> version queries.
>
> The code for that can be found here:
> https://github.com/felixlinker/keytrans-verification/blob/felixlinker/client-state/pkg/client/client.go#L98
> Development currently happens on that branch.
>
> I could not test whether the client works yet because I'm not aware of a
> server implementation that generates search responses for search requests.
> Maybe my understanding here is wrong, I asked both Guy and Brendan for
> this. Would be great to have test vectors. My implementation of a prefix
> and log tree is tested, but only "against itself," i.e., I check that my
> implementation satisfies certain invariants.
>
> We also prove that our go implementation is memory safe. We haven't gone
> much further than that in our mechanized proofs because I would first like
> to test whether the client implementation actually works. It is much
> cheaper to test than to prove, so I want to do that first.
>
> The asterisk that I mentioned above is that I took the liberty to change
> the server response format slightly so that proofs are easier to parse. I
> could, at the meeting, present my experience implementing the client. My
> life would be much simpler if the change in wire format were part of the
> draft, and I find there are certain parts of the draft which are hard to
> implement and get right.
>
> Best,
> Felix
>
>
> Am Di., 14. Juli 2026 um 16:50 Uhr schrieb Prachi Jain <
> [e-mail]>:
>
>> Hello KEYTRANS enthusiasts,
>>
>> Please share any topics, discussion items, or anything else you'd like to
>> cover during our time at IETF 126. We have an hour allocated to us.
>>
>>
>> -Chairs
>> --
>> Keytrans mailing list -- [e-mail]
>> To unsubscribe send an email to [e-mail]
>>
>