kobigurk
0 Följer
0 Följare
0 Gilla-markeringar
0 Delade
Inlägg
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
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
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
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
Logga in för att utforska mer innehåll