kobigurk

Proof of Claude Code: run CC inside a TEE and require all commits to be signed by key generated inside, proving that no human lines have been written

Video of my talk in zksummit about Ligerito has been published!

It’s about the work by @AndrijaNovakov6 and @GuilleAngeris introducing a small and concretely fast polynomial commitment scheme

Since then, a fun thing has happened —

1/3

anyone trying to do provable image transformation as in https://eprint.iacr.org/2024/1066 in fast proving zkVMs?

It’s one of the cases a bunch of time will pass until you need to compress it for fast verification, if at all

ZK provers on mobile?

some thoughts on what needs to change to uphold the security guarantees we work so hard to get

tl;dr - the deployment supply chain, at least, should be better

https://www.kobi.one/The-Lies-Our-Provers-Tell-Us-1f32d692802180358ae6c14fd9d09127

These HIs don’t predict the best next token to use based on their training, prompts and memory, so weird