kobigurk
0 Seguiti
0 Follower
0 Mi piace
0 Condivisioni
Post
Prova del Codice di Claude: eseguire CC all'interno di un TEE e richiedere che tutti i commit siano firmati da una chiave generata internamente, dimostrando che nessuna riga umana è stata scritta
Il video del mio intervento allo zksummit su Ligerito è stato pubblicato!
Si tratta del lavoro di @AndrijaNovakov6 e @GuilleAngeris che introducono uno schema di impegno polinomiale piccolo e concretamente veloce.
Da allora, è successo qualcosa di divertente —
1/3
Si tratta del lavoro di @AndrijaNovakov6 e @GuilleAngeris che introducono uno schema di impegno polinomiale piccolo e concretamente veloce.
Da allora, è successo qualcosa di divertente —
1/3
qualcuno sta cercando di fare trasformazioni di immagini dimostrabili come in https://eprint.iacr.org/2024/1066 in zkVMs di prova rapida?
È uno dei casi in cui passerà un bel po' di tempo prima che tu debba comprimerlo per una verifica rapida, se mai sarà necessario
È uno dei casi in cui passerà un bel po' di tempo prima che tu debba comprimerlo per una verifica rapida, se mai sarà necessario
ZK provers su mobile?
alcuni pensieri su cosa deve cambiare per mantenere le garanzie di sicurezza per cui lavoriamo così duramente
tl;dr - la catena di fornitura del deployment, almeno, dovrebbe essere migliore
https://www.kobi.one/The-Lies-Our-Provers-Tell-Us-1f32d692802180358ae6c14fd9d09127
alcuni pensieri su cosa deve cambiare per mantenere le garanzie di sicurezza per cui lavoriamo così duramente
tl;dr - la catena di fornitura del deployment, almeno, dovrebbe essere migliore
https://www.kobi.one/The-Lies-Our-Provers-Tell-Us-1f32d692802180358ae6c14fd9d09127
Questi HIs non prevedono il miglior prossimo token da utilizzare in base al loro addestramento, ai suggerimenti e alla memoria, quindi è strano
Accedi per esplorare altri contenuti