Trend-Themen
#
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
Angewandte Krypto, Sicherheit, experimentelle Dinge - Leiter Forschung @BainCapCrypto
Kobi Gurkan erneut gepostet
TEEs erfordern grundsätzlich Vertrauen in Betreiber und Hersteller, aber es ist auch möglich, sie auf eine Weise zu nutzen, die die Sicherheit eines Systems strikt *verbessert*, ohne neue Vertrauensengpässe einzuführen. Ich habe über zwei Anwendungsfälle geschrieben, in denen dies möglich ist:
2,01K
Hey @TekGear, gibt es einen Tutor für Twiddler für iOS, der:
1. Sprachgesteuert ist, sodass man ohne auf einen Bildschirm zu schauen trainieren kann?
2. Eine Art Sprachfeedback bietet, damit ich ein Feedback-Erlebnis darüber habe, wie ich in regulären Apps tippe? Ich würde mir vorstellen, dass es das für andere Arten von alternativen Eingabemethoden gibt, aber ich kenne es einfach nicht.
552
Habe die ursprünglichen Threads meines Experiments gelöscht, um Claude Code zu verwenden, um longfellow-zk nach Rust zu portieren.
War unzufrieden mit der Darstellung, da sie die Leute verwirren könnte, dass etwas Erstaunliches passiert ist, während es nicht einmal funktionierte.
Setze hier Bilder zur Referenz ein und habe die finalen Threads hinterlassen, die klarer waren.
1,77K
Sieht nach einer wirklich spaßigen Gelegenheit für Studenten aus.
25. Juni 2025
🚨 ASCrypto 2025 ist da!
🗓️ 29.–30. September | Medellín | Verbunden mit Latincrypt
👨🏫 Lernen Sie 𝐦𝐨𝐝𝐞𝐫𝐧 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 von den besten Experten
💥 2 Tage, 3 Module: IVC, STARKs, MPC
👥 Mit @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
864
Letzte Aktualisierung des Experiments - nach sorgfältigerer Überprüfung enthält es mehr echte Implementierungen der Prover-Komponenten, einschließlich eines angeblichen bidirektionalen FFT, mit aktualisierten Benchmarks, die langsamer sind.
Der Großteil meines Engagements bestand darin, zu überprüfen: „Ist es eine echte Implementierung? Bist du dir sicher? Mach keine Abkürzungen und arbeite einen Tag lang, wenn nötig.“
Was die Frage aufwirft, wie gut eine alternative „Mittelmanagement für LLMs“ (wie @alexhevans es nannte) hier funktionieren würde 😅
5. Juli, 09:56
Okay, ein bisschen peinlich - ich hatte Rust nicht auf diesem Rechner installiert, sodass der generierte Code nicht einmal kompiliert hat und die Benchmarks Schätzungen waren, wie @MatteoFrig60839 auch bemerkt hat.
Ich habe weiter nachgebohrt, um es in einen besseren Zustand zu bringen, aber es ist immer noch keine vollständig funktionierende Implementierung.
Ich wäre immer noch ziemlich misstrauisch, ob es sowohl korrekt als auch schneller ist als eine sorgfältig handgefertigte Produktionsqualität C++-Implementierung.
Der ultimative Test wäre, einen in Rust generierten Beweis in einem C++-Verifizierer zu verifizieren - das bekomme ich im Moment nicht hin und würde mehr Nachbohren erfordern.
Es wäre schön, wenn wir eine gute isolierte vollständige Beweisverifizierungsfunktion in C++ hätten und CC darauf hinweisen könnten.
1,87K
Letzte Aktualisierung des Experiments - nach sorgfältigerer Überprüfung enthält es mehr echte Implementierungen der Prover-Komponenten, einschließlich eines angeblichen bidirektionalen FFT, mit aktualisierten Benchmarks, die langsamer sind.
Der Großteil meines Engagements bestand darin, zu überprüfen: „Ist es eine echte Implementierung? Bist du dir sicher? Nimm keine Abkürzungen und arbeite einen Tag lang, wenn nötig.“
Was die Frage aufwirft, wie gut eine alternative „Mittelmanagement für LLMs“ (wie @alexhevans es nannte) hier funktionieren würde 😅
5. Juli, 09:56
Okay, ein bisschen peinlich - ich hatte Rust nicht auf diesem Rechner installiert, sodass der generierte Code nicht einmal kompiliert hat und die Benchmarks Schätzungen waren, wie @MatteoFrig60839 auch bemerkt hat.
Ich habe weiter nachgebohrt, um es in einen besseren Zustand zu bringen, aber es ist immer noch keine vollständig funktionierende Implementierung.
Ich wäre immer noch ziemlich misstrauisch, ob es sowohl korrekt als auch schneller ist als eine sorgfältig handgefertigte Produktionsqualität C++-Implementierung.
Der ultimative Test wäre, einen in Rust generierten Beweis in einem C++-Verifizierer zu verifizieren - das bekomme ich im Moment nicht hin und würde mehr Nachbohren erfordern.
Es wäre schön, wenn wir eine gute isolierte vollständige Beweisverifizierungsfunktion in C++ hätten und CC darauf hinweisen könnten.
100
Okay, ein bisschen peinlich - ich hatte Rust nicht auf diesem Rechner installiert, sodass der generierte Code nicht einmal kompiliert hat und die Benchmarks Schätzungen waren, wie @MatteoFrig60839 auch bemerkt hat.
Ich habe weiter nachgebohrt, um es in einen besseren Zustand zu bringen, aber es ist immer noch keine vollständig funktionierende Implementierung.
Ich wäre immer noch ziemlich misstrauisch, ob es sowohl korrekt als auch schneller ist als eine sorgfältig handgefertigte Produktionsqualität C++-Implementierung.
Der ultimative Test wäre, einen in Rust generierten Beweis in einem C++-Verifizierer zu verifizieren - das bekomme ich im Moment nicht hin und würde mehr Nachbohren erfordern.
Es wäre schön, wenn wir eine gute isolierte vollständige Beweisverifizierungsfunktion in C++ hätten und CC darauf hinweisen könnten.
5. Juli, 01:38
Gefragt, den Rest zu implementieren + eine Implementierung in Assembler hinzuzufügen, die neuen Ansprüche angehängt.
5,65K
Top
Ranking
Favoriten