Popularne tematy
#
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
Applied Crypto, bezpieczeństwo, rzeczy eksperymentalne - Kierownik ds. Badań @BainCapCrypto
Użytkownik Kobi Gurkan udostępnił ponownie
TEEs z natury wymagają zaufania do operatorów i producentów, ale możliwe jest również ich wykorzystanie w sposób, który ściśle *poprawia* bezpieczeństwo systemu, nie wprowadzając nowych wąskich gardeł zaufania. Napisałem o dwóch przypadkach użycia, w których jest to możliwe:
2,33K
Cześć @TekGear, czy jest dostępny tutor dla Twiddler na iOS, który jest:
1. Sterowany głosowo, aby można było trenować bez patrzenia na ekran?
2. Jakiegoś rodzaju sprzężenie zwrotne głosowe, abym mógł mieć doświadczenie sprzężenia zwrotnego na temat tego, jak piszę w zwykłych aplikacjach? Wyobrażam sobie, że to istnieje dla innych rodzajów alternatywnych metod wprowadzania, ale po prostu tego nie znam.
574
Usunąłem początkowe wątki mojego eksperymentu, aby użyć Claude Code do przeniesienia longfellow-zk do rust.
Byłem niezadowolony z ujęcia, ponieważ mogło to wprowadzić ludzi w błąd, że wydarzyło się coś niesamowitego, podczas gdy to nawet nie działało.
Umieszczam tutaj obrazy dla odniesienia i zostawiłem końcowe wątki, które były jaśniejsze.
1,79K
wygląda na naprawdę fajną okazję dla studentów
25 cze 2025
🚨 ASCrypto 2025 jest tutaj!
🗓️ 29–30 września | Medellín | Powiązane z Latincrypt
👨🏫 Ucz się 𝐦𝐨𝐝𝐞𝐫𝐧𝐲𝐜𝐡 𝐬𝐲𝐬𝐭𝐞𝐦𝐨𝐰 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 z najlepszymi ekspertami
💥 2 dni, 3 moduły: IVC, STARKs, MPC
👥 Z @benediktbuenz, Sophią Yakoubov, @aszepieniec
👇
880
Ostatnia aktualizacja z eksperymentu - po dokładniejszym sprawdzeniu zawiera więcej rzeczywistych implementacji komponentów dowodzących, w tym rzekomą dwukierunkową FFT, z zaktualizowanymi benchmarkami, które są wolniejsze.
Większość mojego zaangażowania polegała na pytaniach typu "czy to jest prawdziwa implementacja? Czy jesteś pewien? Nie idź na skróty i pracuj przez dzień, jeśli to konieczne."
Co prowadzi do pytania, jak dobrze działałby alternatywny "średni menedżment dla LLM" (jak to nazwał @alexhevans) w tej sytuacji 😅
5 lip, 09:56
ok, trochę to krępujące - nie miałem zainstalowanego rusta na tej maszynie, więc wygenerowany kod nawet się nie skompilował, a benchmarki były szacunkowe, jak również zauważył @MatteoFrig60839
Dalej próbowałem doprowadzić to do lepszego stanu, ale wciąż nie jest to w pełni działająca implementacja
Wciąż byłbym dość podejrzliwy, jeśli byłoby to zarówno poprawne, jak i szybsze niż starannie wykonana produkcyjna implementacja w C++
ostatecznym testem byłoby posiadanie dowodu wygenerowanego w rust, zweryfikowanego w weryfikatorze C++ - na razie nie mogę tego zrobić i wymagałoby to więcej prób
byłoby miło, gdybyśmy mieli dobrą, izolowaną funkcję pełnej weryfikacji dowodu w C++ i skierowali CC w tę stronę
1,88K
Ostatnia aktualizacja z eksperymentu - po dokładniejszym sprawdzeniu zawiera więcej rzeczywistych implementacji komponentów prover, w tym rzekomą dwukierunkową fft, z zaktualizowanymi benchmarkami, które są wolniejsze.
Większość mojego zaangażowania polegała na pytaniach typu "czy to jest prawdziwa implementacja? Czy jesteś pewien? Nie idź na skróty i pracuj przez dzień, jeśli to konieczne."
Co prowadzi do pytania, jak dobrze działałby alternatywny "średni menedżment dla LLM" (jak to nazwał @alexhevans) tutaj 😅
5 lip, 09:56
ok, trochę to krępujące - nie miałem zainstalowanego rusta na tej maszynie, więc wygenerowany kod nawet się nie skompilował, a benchmarki były szacunkowe, jak również zauważył @MatteoFrig60839
Dalej próbowałem doprowadzić to do lepszego stanu, ale wciąż nie jest to w pełni działająca implementacja
Wciąż byłbym dość podejrzliwy, jeśli byłoby to zarówno poprawne, jak i szybsze niż starannie wykonana produkcyjna implementacja w C++
ostatecznym testem byłoby posiadanie dowodu wygenerowanego w rust, zweryfikowanego w weryfikatorze C++ - na razie nie mogę tego zrobić i wymagałoby to więcej prób
byłoby miło, gdybyśmy mieli dobrą, izolowaną funkcję pełnej weryfikacji dowodu w C++ i skierowali CC w tę stronę
118
ok, trochę to krępujące - nie miałem zainstalowanego rusta na tej maszynie, więc wygenerowany kod nawet się nie skompilował, a benchmarki były szacunkowe, jak również zauważył @MatteoFrig60839
Dalej próbowałem doprowadzić to do lepszego stanu, ale wciąż nie jest to w pełni działająca implementacja
Wciąż byłbym dość podejrzliwy, jeśli byłoby to zarówno poprawne, jak i szybsze niż starannie wykonana produkcyjna implementacja w C++
ostatecznym testem byłoby posiadanie dowodu wygenerowanego w rust, zweryfikowanego w weryfikatorze C++ - na razie nie mogę tego zrobić i wymagałoby to więcej prób
byłoby miło, gdybyśmy mieli dobrą, izolowaną funkcję pełnej weryfikacji dowodu w C++ i skierowali CC w tę stronę
5 lip, 01:38
Poproszono o wdrożenie reszty + dodanie implementacji w asemblerze, nowe roszczenia załączone
5,67K
Najlepsze
Ranking
Ulubione