kobigurk

Prova do Código de Claude: execute CC dentro de um TEE e exija que todos os commits sejam assinados por uma chave gerada internamente, provando que nenhuma linha humana foi escrita

Vídeo da minha palestra no zksummit sobre Ligerito foi publicado!

É sobre o trabalho de @AndrijaNovakov6 e @GuilleAngeris que introduz um esquema de compromisso polinomial pequeno e concretamente rápido.

Desde então, algo divertido aconteceu —

1/3

alguém tentando fazer transformação de imagem comprovável como em https://eprint.iacr.org/2024/1066 em zkVMs de prova rápida?

É um dos casos em que muito tempo passará até que você precise compactá-lo para verificação rápida, se é que precisará

Provedores ZK em dispositivos móveis?

algumas reflexões sobre o que precisa mudar para manter as garantias de segurança que trabalhamos tão arduamente para obter

tl;dr - a cadeia de suprimentos de implantação, pelo menos, deveria ser melhor

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

Esses HIs não preveem o melhor próximo token a ser usado com base em seu treinamento, prompts e memória, então é estranho