Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Kobi Gurkan
Crypto appliquée, sécurité, objets expérimentaux - Responsable de la recherche @BainCapCrypto
Kobi Gurkan a reposté
Les TEE nécessitent intrinsèquement une confiance envers les opérateurs et les fabricants, mais il est également possible de les utiliser de manière à *améliorer* strictement la sécurité d'un système sans introduire de nouveaux goulets d'étranglement de confiance. J'ai écrit sur deux cas d'utilisation où cela est possible :
2,32K
Salut @TekGear, y a-t-il un tuteur pour Twiddler sur iOS qui est :
1. Dirigé par la voix, afin que vous puissiez vous entraîner sans regarder un écran ?
2. Une sorte de retour vocal pour que je puisse avoir une expérience de retour sur la façon dont je tape dans des applications classiques ? J'imagine que cela existe pour d'autres types de méthodes d'entrée alternatives, mais je ne le sais tout simplement pas.
566
J'ai supprimé les fils initiaux de mon expérience pour utiliser Claude Code afin de porter longfellow-zk en rust.
Je n'étais pas satisfait du cadre, car cela pourrait confondre les gens en leur faisant croire que quelque chose d'incroyable s'est produit alors que cela ne fonctionnait même pas.
Je mets des images ici pour référence, et j'ai laissé les fils finaux qui étaient plus clairs.
1,78K
cela semble être une opportunité vraiment amusante pour les étudiants
25 juin 2025
🚨 ASCrypto 2025 est là !
🗓️ 29-30 septembre | Medellín | Affilié à Latincrypt
👨🏫 Apprenez des 𝐦𝐨𝐝𝐞𝐫𝐧𝐞𝐬 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 auprès des meilleurs experts
💥 2 jours, 3 modules : IVC, STARKs, MPC
👥 Avec @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
872
Dernière mise à jour de l'expérience - après des vérifications plus minutieuses, elle contient plus de véritables implémentations des composants du prouveur, y compris un fft bidirectionnel revendiqué, avec des benchmarks mis à jour, qui sont plus lents.
La plupart de mon implication a été plutôt du genre "est-ce une véritable implémentation ? Êtes-vous sûr ? Ne prenez pas de raccourcis et travaillez pendant une journée si nécessaire."
Ce qui soulève la question de savoir à quel point une "gestion intermédiaire pour les LLM" (comme l'a appelé @alexhevans) fonctionnerait ici 😅
5 juil., 09:56
ok un peu embarrassant - je n'avais pas rust installé sur cette machine, donc le code généré ne compilait même pas et les benchmarks étaient des estimations, comme @MatteoFrig60839 l'a également remarqué
J'ai poussé un peu plus pour l'amener à un meilleur état, mais ce n'est toujours pas une implémentation entièrement fonctionnelle
Je resterais tout de même assez suspicieux si c'est à la fois correct et plus rapide qu'une implémentation C++ de qualité production soigneusement élaborée
le test ultime serait d'avoir une preuve générée par rust vérifiée dans un vérificateur C++ - je n'arrive pas à le faire pour l'instant et cela nécessiterait plus de poussées
ce serait bien si nous avions une bonne fonction de vérification de preuve complète isolée en C++ et que nous orientions CC vers cela
1,88K
Dernière mise à jour de l'expérience - après des vérifications plus minutieuses, elle contient plus de véritables implémentations des composants du prouveur, y compris un fft bidirectionnel revendiqué, avec des benchmarks mis à jour, qui sont plus lents.
La plupart de mon implication a été plutôt du genre "est-ce une véritable implémentation ? Êtes-vous sûr ? Ne prenez pas de raccourcis et travaillez pendant une journée si nécessaire."
Ce qui soulève la question de savoir à quel point une "gestion intermédiaire pour les LLM" (comme l'a appelé @alexhevans) fonctionnerait ici 😅
5 juil., 09:56
ok un peu embarrassant - je n'avais pas rust installé sur cette machine, donc le code généré ne compilait même pas et les benchmarks étaient des estimations, comme @MatteoFrig60839 l'a également remarqué
J'ai poussé un peu plus pour l'amener à un meilleur état, mais ce n'est toujours pas une implémentation entièrement fonctionnelle
Je resterais tout de même assez suspicieux si c'est à la fois correct et plus rapide qu'une implémentation C++ de qualité production soigneusement élaborée
le test ultime serait d'avoir une preuve générée par rust vérifiée dans un vérificateur C++ - je n'arrive pas à le faire pour l'instant et cela nécessiterait plus de poussées
ce serait bien si nous avions une bonne fonction de vérification de preuve complète isolée en C++ et que nous orientions CC vers cela
110
ok un peu embarrassant - je n'avais pas rust installé sur cette machine, donc le code généré ne compilait même pas et les benchmarks étaient des estimations, comme @MatteoFrig60839 l'a également remarqué
J'ai poussé un peu plus pour l'amener à un meilleur état, mais ce n'est toujours pas une implémentation entièrement fonctionnelle
Je resterais tout de même assez suspicieux si c'est à la fois correct et plus rapide qu'une implémentation C++ de qualité production soigneusement élaborée
le test ultime serait d'avoir une preuve générée par rust vérifiée dans un vérificateur C++ - je n'arrive pas à le faire pour l'instant et cela nécessiterait plus de poussées
ce serait bien si nous avions une bonne fonction de vérification de preuve complète isolée en C++ et que nous orientions CC vers cela
5 juil., 01:38
Demandé d'implémenter le reste + d'ajouter une implémentation en assembleur, les nouvelles revendications jointes
5,66K
Meilleurs
Classement
Favoris