tunggu, jadi saya boleh pinjam USDC melawan saham yang ditokenisasi di @aave pada hujung minggu, tetapi ia masih menggunakan harga Juma? jika berita buruk keluar pada Sabtu, orang boleh terus meminjam berdasarkan harga lama sehingga feed dikemas kini? berapa banyak ruang yang mereka tinggalkan untuk had pinjaman collateral itu?
Saya akan kelihatan seperti sistem barter kembali
Anda mungkin telah menggunakan @MetaMask ratusan kali, tetapi tahukah anda siapa sebenarnya yang membina ia? Dua lelaki, Dan Finlay (@danfinlay) dan Aaron Davis (Kumavis). Bahagian yang menarik ialah tiada seorang pun daripada mereka datang dari latar belakang sains komputer tradisional. Dan belajar Sastera Bahasa Inggeris, bekerja sebagai pelukis potret, pelatih catur, bahkan seorang yang membentuk belon. Beliau belajar pengaturcaraan kerana ingin membina penyintesis kentut, lol. Aaron belajar Bahasa Jepun dan ingin menjadi penterjemah. Beliau juga gemar permainan video dan mengajar sendiri pengaturcaraan dengan membaca serta memodifikasi kod orang lain. Mereka bertemu pada tahun 2013, bekerja pada klon Minecraft sumber terbuka, dan akhirnya mula menguji ethereum. Pada masa itu, menyambungkan laman web ke ethereum pun tidak mudah. Aaron awalnya membina pengurus akaun yang rumit, pada dasarnya sebuah peranti dalam peranti. Kemudian, mereka menyederhanakan idea keseluruhan menjadi satu sambungan pelayar. Itulah bagaimana MetaMask dilancarkan pada Julai 2016. Dan rubah? Aaron memilihnya kerana beliau mengaitkannya dengan kemerdekaan, kecerdikan, dan penyimpanan sendiri. 10 tahun kemudian, MetaMask telah melampaui 100 juta muat turun. Lucu bagaimana dua lelaki daripada latar belakang yang sangat berbeza akhirnya membina salah satu alat paling dikenali dalam kripto. Dan semuanya bermula dengan cubaan menjadikan @ethereum boleh digunakan daripada pelayar.
Semua orang bercakap tentang Akash yang meninggalkan Cosmos untuk Solana, tetapi ada sesuatu yang menarik berlaku dengan IBC yang saya rasa patut mendapat lebih banyak perhatian. Cosmos sudah menyambungkan ethereum melalui IBC Eureka pada 2025, tetapi mereka telah melakukan banyak perkara lagi sejak itu. IBC v2 mempunyai implementasi Solidity, klien ringan ethereum, dan pengesahan bukti ZK menggunakan SP1. Mereka juga telah bekerja pada GMP (General Message Passing) untuk panggilan kontrak lintas rantai dan IFT (Interchain Fungible Tokens) untuk memindahkan aset antara rantai menggunakan model mint/burn. Saya sedang melihat repositori GitHub mereka dan mendapati bahawa mereka meningkatkan infrastruktur IBC rangkaian utama ethereum ke versi 3 pada Jun, dan mengesahkan bahawa paket Cosmos Hub masih diteruskan selepas peningkatan itu. Mereka juga sedang bekerja pada sokongan Solana dan menyambungkan lebih banyak rantai EVM dan L2. Tidak semua perkara itu masih aktif. Yang saya anggap menarik ialah Cosmos menghabiskan bertahun-tahun membina infrastruktur untuk appchain berdaulat, dan sekarang sebahagian infrastruktur yang sama itu sedang diperluaskan kepada rantai di luar Cosmos. Membuat saya bertanya-tanya sama ada masa depan Cosmos kurang berkaitan dengan berapa banyak rantai yang dibina menggunakan Cosmos SDK, dan lebih berkaitan dengan berapa banyak rantai yang akhirnya menggunakan IBC. https://t.co/9Lu7xS34ey
Saya sedang memeriksa pelaksanaan Cosmos IBC di Ethereum dan menemui sesuatu yang cukup menarik. Ethereum sedang mengesahkan konsensus Cosmos menggunakan bukti pengetahuan-nol melalui SP1. Alih-alih menjalankan keseluruhan pengesahan klien ringan CometBFT di dalam kontrak Ethereum, mereka menjalankan pengesahan secara luar talian dalam program Rust, menghasilkan bukti ZK, dan mengesahkan bukti tersebut di Ethereum. Dan ini sudah berjalan di rangkaian utama. Saya memeriksa rekod pengemaskinian Jun mereka, di mana mereka berpindah klien ringan Ethereum ke SP1 v6.1 dan berjaya menghantar pakej Cosmos Hub menggunakan verifier baharu. Saya juga memeriksa tolok gas mereka. Menerima ERC20 yang sedia ada melalui IBC mengambil kira-kira 551k gas dalam ujian Foundry mereka, tetapi apabila mereka mengumpulkan 50 pakej bersama-sama, purata turun kepada kira-kira 175k gas per pakej. Itu kira-kira 68% kurang gas per pakej. Tetapi ada sisi lain kepada ini. Sistem ini masih bergantung pada set validator Cosmos, program pengesahan SP1 yang betul dan kunci, serta tetapan tata tertib yang boleh mengemaskini atau memulihkan klien ringan. Jadi, pengesahan ZK tidak secara automatik bermaksud tiada andaian kepercayaan. Saya rasa ini adalah bahagian menarik ke arah interoperabiliti yang sedang berlaku. Kita sedang memindahkan pengesahan konsensus yang kompleks secara luar talian dan menggunakan bukti kriptografi untuk menjadikannya praktikal di blok rantai lain. sumber: https://t.co/Y6IL0hSehd
Menghabiskan masa untuk menyelidiki SP1 Tendermint light client Cosmos IBC Eureka di Ethereum. Penasaran sama ada versi SP1 yang lebih baharu masih boleh berfungsi dengan verifier yang telah dideploy tanpa memerlukan pengupgraderan kontrak. Menemui beberapa perkara yang menarik. Mengambil keempat-empat ELF pengeluaran rasmi dan menghasilkan semula kunci pengesahan program mereka yang tepat menggunakan SP1 v6.1 dan v6.9. Kemudian, menghasilkan bukti kemas kini Tendermint Cosmos Hub yang sebenar dan menjalankan ELF pengeluaran asal menggunakan kedua-dua versi tersebut. Kedua-dua pelaksanaan berjaya dan menghasilkan output awam 768-byte yang identik, gas pelaksanaan yang sama, dan hash SHA-256 yang sama. Bahagian yang lebih menarik: SP1 v6.1, v6.9 dan v6.10 semua masih melaporkan versi sirkuit v6.1.0. Bandingkan binari kunci pengesahan Groth16 sebenar dari v6.1 dan v6.10. Keduanya identik secara byte-per-byte. Hash SHA-256 mereka juga sepadan dengan hash verifier yang telah dideploy di Ethereum: 0x4388a21c687fdd5f218d7e3d13190cac4c5355818d3605fd5fb811df468ee696 Jadi, sekurang-kurangnya pada tahap identiti program, pelaksanaan, dan kunci pengesahan Groth16, keserasian masih terpelihara di antara versi-versi ini. Belum lagi menghasilkan bukti sebenar menggunakan prover yang lebih baharu atau menguji ia terhadap verifier Ethereum yang aktif. Itu akan menjadi bahagian seterusnya. Menarik untuk melihat sejauh mana bahagian proving stack boleh berubah sementara antaramuka pengesahan tetap sama.
sedang menyelidiki kontrak Cosmos IBC yang dideploy di Ethereum dan menemukan sesuatu yang menarik mengenai bagaimana klien ringan ZK mereka dikelola. bukti SP1 mengesahkan konsensus Cosmos, tetapi pelaksanaan klien ringan itu sendiri masih boleh dipindahkan melalui tata kelola. mereka sebenarnya menggunakan ini semasa pengupgraderan Jun untuk memindahkan klien Tendermint ke SP1 v6.1. pengaturan semasa menggunakan OpenZeppelin AccessManager, Safe tata kelola 4-dari-7, dan timelock 72 jam. jadi walaupun pengesahan konsensus adalah kriptografi, sistem ini masih mempunyai lapisan kepercayaan pentadbiran. dan saya rasa itu patut difahami. jika seseorang boleh mengubah pelaksanaan klien ringan yang dipercayai oleh router, maka keselamatan keseluruhan sistem juga bergantung pada siapa yang mengawal kebenaran itu. bukan mengatakan ada kerentanan di sini. mekanisme pemindahan adalah sengaja dan berguna untuk pengupgraderan dan pemulihan. tetapi saya ingin memahami apa yang berlaku jika kunci tata kelola disusupi, sama ada setiap perubahan sensitif benar-benar melalui timelock, dan bagaimana pengguna boleh mengesahkan pengupgraderan sebelum ia berlaku. sumber: https://t.co/dnN5drqJMi
telah menyelidiki bagaimana Cosmos IBC mengesahkan konsensus di Ethereum menggunakan bukti SP1. sesuatu yang lebih menarik perhatian saya selain bukti ZK itu sendiri ialah siapa yang mengawal penverifikasi. kerana anda boleh mempunyai bukti yang secara matematik sah, tetapi jika seseorang mempunyai kebenaran untuk mengemaskini klien ringan atau mengubah kunci pengesahan yang dipercayai, itu adalah soal keselamatan yang sama sekali berbeza. penyebaran Ethereum menggunakan multisig 4-dari-7 dengan kawalan pentadbiran yang ditangguhkan. sekarang saya ingin melacak dengan tepat apa yang boleh diubah oleh pentadbir itu, sama ada penverifikasi jahat boleh diperkenalkan melalui pengemaskinan, dan apa yang sebenarnya boleh dilakukan pengguna semasa masa tangguhan. ZK membuktikan bahawa pengiraan tertentu telah dilaksanakan dengan betul. ia tidak membuktikan bahawa orang yang mengawal pengiraan mana yang akan disahkan tidak boleh mengubahnya. itulah bahagian yang ingin saya selidiki.
beberapa isu gosip gila beredar di kalangan teknologi sekarang OpenAI dilaporkan cuba mengumpul $30B sebelum IPO Anthropic Nvidia mungkin akan melabur $10B dalam IPO Anthropic Anthropic mungkin dinilai pada $2 trilion lol OpenAI kelihatan sedang berbincang untuk mengambil alih Trail of Bits Datadog dilaporkan menawar hampir $4B untuk Upwind Security SpaceX dilaporkan sedang mengkaji pembiayaan $40B untuk membeli GPU Nvidia belum semua perkara disahkan, tetapi jumlah wang yang beredar dalam AI adalah gila
