Topik trending
#
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
Kripto Terapan, Keamanan, Hal-hal Eksperimental - Kepala Penelitian @BainCapCrypto
Kobi Gurkan memposting ulang
TEE secara inheren membutuhkan kepercayaan pada operator dan produsen, tetapi juga dimungkinkan untuk menggunakannya dengan cara yang secara ketat *meningkatkan* keamanan sistem tanpa menimbulkan kemacetan kepercayaan baru. Saya menulis tentang dua kasus penggunaan di mana ini memungkinkan:
2,46K
Hai @TekGear apakah ada tutor untuk Twiddler untuk iOS yaitu:
1. Diarahkan suara, sehingga Anda dapat berlatih tanpa melihat layar?
2. Semacam umpan balik suara sehingga saya dapat memiliki pengalaman umpan balik tentang cara saya mengetik di aplikasi biasa? Saya akan membayangkan ini ada untuk jenis metode input alternatif lainnya tetapi saya tidak mengetahuinya
590
Menghapus utas awal eksperimen saya untuk menggunakan Claude Code untuk memindahkan longfellow-zk ke karat
Tidak senang dengan pembingkaiannya, karena itu bisa membingungkan orang bahwa sesuatu yang luar biasa terjadi sementara itu bahkan tidak berhasil
Menempatkan gambar di sini untuk referensi, dan meninggalkan utas akhir yang lebih jelas
1,8K
Sepertinya kesempatan yang sangat menyenangkan bagi siswa
25 Jun 2025
🚨 ASCrypto 2025 ada di sini!
🗓️ 29–30 September | Medellín | Berafiliasi dengan Latincrypt
👨 🏫 Pelajari sistem pembuktian modern dari para ahli top
💥 2 hari, 3 modul: IVC, STARKs, MPC
👥 Bersama @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
889
Pembaruan terakhir dari percobaan - setelah dorongan yang lebih hati-hati, ini berisi implementasi yang lebih nyata dari komponen pembukti, termasuk FFT dua arah yang diklaim, dengan tolok ukur yang diperbarui, yang lebih lambat
Sebagian besar keterlibatan saya lebih dari semacam "apakah ini implementasi nyata? Kamu yakin? Jangan mengambil jalan pintas dan bekerja selama sehari jika diperlukan"
Yang menimbulkan pertanyaan tentang seberapa baik "manajemen menengah alternatif untuk LLM" (seperti yang @alexhevans sebut) bekerja di sini 😅
5 Jul, 09.56
ok agak memalukan - saya tidak menginstal karat di mesin itu, jadi kode yang dihasilkan bahkan tidak dikompilasi dan tolok ukurnya adalah perkiraan, seperti yang juga @MatteoFrig60839 perhatikan
Saya mendorong lebih banyak untuk membawanya ke keadaan yang lebih baik, tetapi masih belum sepenuhnya berfungsi
Saya masih akan sangat curiga jika keduanya benar + lebih cepat daripada implementasi C++ kelas produksi yang dibuat dengan hati-hati
tes pamungkas untuk memiliki bukti yang dihasilkan karat yang diverifikasi dalam verifikator c++ - Saya tidak bisa melakukannya dengan benar untuk saat ini dan akan membutuhkan lebih banyak dorongan
akan lebih baik jika kita memiliki fungsi verifikasi bukti penuh terisolasi yang baik di C++ dan mengarahkan CC ke arah itu
1,89K
Pembaruan terakhir dari percobaan - setelah dorongan yang lebih hati-hati, ini berisi implementasi yang lebih nyata dari komponen pembukti, termasuk FFT dua arah yang diklaim, dengan tolok ukur yang diperbarui, yang lebih lambat
Sebagian besar keterlibatan saya lebih dari semacam "apakah ini implementasi nyata? Kamu yakin? Jangan mengambil jalan pintas dan bekerja selama sehari jika diperlukan"
Yang menimbulkan pertanyaan tentang seberapa baik "manajemen menengah untuk LLM" alternatif (seperti yang @alexhevans sebut) akan bekerja di sini 😅
5 Jul, 09.56
ok agak memalukan - saya tidak menginstal karat di mesin itu, jadi kode yang dihasilkan bahkan tidak dikompilasi dan tolok ukurnya adalah perkiraan, seperti yang juga @MatteoFrig60839 perhatikan
Saya mendorong lebih banyak untuk membawanya ke keadaan yang lebih baik, tetapi masih belum sepenuhnya berfungsi
Saya masih akan sangat curiga jika keduanya benar + lebih cepat daripada implementasi C++ kelas produksi yang dibuat dengan hati-hati
tes pamungkas untuk memiliki bukti yang dihasilkan karat yang diverifikasi dalam verifikator c++ - Saya tidak bisa melakukannya dengan benar untuk saat ini dan akan membutuhkan lebih banyak dorongan
akan lebih baik jika kita memiliki fungsi verifikasi bukti penuh terisolasi yang baik di C++ dan mengarahkan CC ke arah itu
131
ok agak memalukan - saya tidak menginstal karat di mesin itu, jadi kode yang dihasilkan bahkan tidak dikompilasi dan tolok ukurnya adalah perkiraan, seperti yang juga @MatteoFrig60839 perhatikan
Saya mendorong lebih banyak untuk membawanya ke keadaan yang lebih baik, tetapi masih belum sepenuhnya berfungsi
Saya masih akan sangat curiga jika keduanya benar + lebih cepat daripada implementasi C++ kelas produksi yang dibuat dengan hati-hati
tes pamungkas untuk memiliki bukti yang dihasilkan karat yang diverifikasi dalam verifikator c++ - Saya tidak bisa melakukannya dengan benar untuk saat ini dan akan membutuhkan lebih banyak dorongan
akan lebih baik jika kita memiliki fungsi verifikasi bukti penuh terisolasi yang baik di C++ dan mengarahkan CC ke arah itu
5 Jul, 01.38
Diminta untuk mengimplementasikan rest + menambahkan implementasi assembly, klaim baru dilampirkan
5,68K
Teratas
Peringkat
Favorit