kobigurk
5 Publicações
kobigurk
0 A seguir
0 Seguidores
0 Gostaram
Publicações
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
É 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á
É 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
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
Inicia sessão para explorar mais conteúdos