Prinsip inti penting.

Bagian yang paling saya sukai tentang menjadi StarkWare CEO mendengarkan, dan dikoreksi oleh, anggota tim saya yang lebih pintar dan lebih berpengetahuan luas daripada saya.

Waktu cerita -- Pembuktian tercepat di barat dan bagaimana hal itu terjadi. Ketika kami mendirikan StarkWare pada tahun 2018, kami bersiap untuk membangun penyebar STARK kelas produksi pertama. Pada saat itu, faktor pembatas adalah biaya gas di Ethereum. Yang paling sederhana dan termurah untuk membangun pembuktian menggunakan angka besar (yang 256-bit). Hal ini mengarah pada pembuktian STARK sederhana yang kami tahu dapat dibuat lebih efisien dengan mengurangi ukuran lapangan. Maju cepat ke tahun 2023. Seluruh dunia sekarang yakin bahwa zkSTARK adalah permainan akhir, dan banyak tim mulai membangun sistem menggunakan bidang kecil, yang mengarah ke provers yang lebih cepat. Pada musim panas 2023 kami memulai proyek untuk memilih teknologi pembuktian generasi berikutnya. Kami mensurvei semua teknologi pembuktian yang ada - SNARK, barang berbasis lipat, GKR, dan banyak lagi. Kami dengan sangat cepat menyadari bahwa faktor kinerja yang mendominasi adalah ukuran medan terbatas adalah yang penting, dan prima 32 bit adalah yang terbaik. Mengapa? (1) semua arsitektur HW modern dioptimalkan untuk itu, (2) mengapa prima (dan bukan biner?) karena GPU tidak mendukung perkalian biner dengan baik. Oke, jadi itu meninggalkan kita dengan teknologi pembuktian seperti GKR dan STARK, lebih dari 32b prima. Sekarang kami menghadapi masalah. Bidang terbaik untuk komputasi cepat adalah M31, tetapi tidak memiliki struktur kelompok untuk memiliki TARAK cepat. Untungnya, trio brilian - Ulrich Habock (saat itu di Polygon, sekarang penuh waktu di StarkWare), David Levit, dan Shahar Papini menemukan cara untuk menggunakan "grup lingkaran" di atas M31 untuk mendapatkan solusi yang optimal. Tim baru mulai menerapkan matematika. Dengan cara yang paling efisien yang dapat kami pikirkan, menguji dan memvalidasi efisiensi, dan juga membangunnya dengan cara yang cukup modular untuk digunakan tim lain. Pada saat yang sama, infrastruktur kendala AIR dibangun kembali dari awal, berdasarkan pengalaman kami sebelumnya, untuk mengarah pada sesuatu yang sehat dan efisien. Dan sekarang, Stwo memasuki produksi di Starknet, mengurangi biaya dan latensi. Tolok ukur yang kami uji luar biasa. Pada saat yang sama, beberapa tim eksternal menggunakannya untuk membangun infra mereka. Saya pikir itu akan menjadi pembuktian standar emas open source pembuktian, dan kalian semua diundang untuk menggunakannya. AKHIR.

Mengapa saya bullish di Starknet? Teknologi terbaik. Benar, volume TVL dan DeFi bisa lebih tinggi. Tapi saya berpikir jangka panjang. Ekosistem sedang menyeduh, menunggu percikan lagi, dan percikan api akan datang. Dan ketika itu terjadi, pengguna dan pengembang akan menemukan bahwa teknologi terbaik berarti UX terbaik, keamanan terbaik, fitur terbaik, dan itu tidak akan berkurang setelah aktivitas meningkat. Mengapa ini teknologi terbaik? - Bahasa kontrak pintar generasi berikutnya dan terbaik. Ya, Kairo jauh lebih baik daripada Solidity atau Solana's Rust. - Akun pintar generasi berikutnya (berkat abstraksi akun asli) -> UX yang lebih baik untuk pengguna akhir, bersama dengan keamanan kustodian mandiri tingkat atas. - Daya komputasi on-chain terbesar -Pertukaran Perp >, pengembang game, dan aplikasi komputasi berat lainnya dapat menjalankan logika kompleks yang tidak akan Anda temukan di tempat lain di blockchain. - Konektivitas teraman ke Bitcoin dan Ethereum. - Satu-satunya L2 yang secara aktif bergerak menuju desentralisasi penuh dan sejati. - Sebagian besar redundansi dalam hal sequencer dan prover. Teknologi teraman, tercepat, dan paling membuktikan suara di luar sana. Jadi saya berpikir jangka panjang, dan saya sangat bullish pada Starknet. Dan Anda juga harus demikian.

Starknet akan menggunakan mode Grinta dan saya agak terkejut (sedih?) bahwa tidak ada yang membawanya ke level berikutnya dengan Margagrintas🍹🍹🍹

Bagaimana saya hampir mendapatkan kubus Tungsten dari @ercwl Saya mengklaim (dan masih melakukannya) bahwa Bukti Penipuan tidak berfungsi. Artinya, janji bahwa "siapa pun dapat memulai proses arbitrase" tidak dapat ditahan. Beberapa tahun yang lalu, Eric bertanya kepada saya saat makan malam: "apakah Anda ingin bertaruh kubus Tungsten untuk ini?" Saya berkata, "Ya! Saya yakin bahwa dalam 3 tahun ke depan, tidak ada sistem berbasis Bukti Penipuan yang akan menawarkan desentralisasi sequencer dan validator yang sebenarnya, dan memungkinkan obligasi Sengketa di bawah $100, tersedia untuk pengguna rata-rata." Alasan sederhana bahwa sistem berbasis Fraud Proof tidak dapat menawarkan obligasi Sengketa dengan harga tersebut adalah karena membuka pintu untuk troll/DoS sistem. Kami tidak pernah secara resmi menuliskan ini, dan saya yakin waktu yang cukup lama telah berlalu, tetapi saya masih senang membuat taruhan ini hari ini, dengan dia atau dengan siapa pun yang siap menghadapi tantangan.

Pendapat: L2 harus terdesentralisasi. *Desentralisasi penting pada L2 sama seperti halnya pada L1.* Starknet menerbitkan peta jalan desentralisasinya beberapa waktu yang lalu, dan telah mengikutinya, selangkah demi selangkah. Saya tidak melihat tim L2 lain dengan rencana nyata atau bekerja ke arah itu.

Harus menyukai pertempuran "hanya ETH" "hanya BTC" itu. Setelah seminggu seperti ini, mereka tidak masuk akal sama sekali.

Di akhir minggu kripto ini, inilah kesimpulan saya: (TL; DR - jembatan sedang dibangun antara dua dunia)

Ada elemen kontradiktif yang kuat antara TradFi dan DeFi: TradFi mengkomunikasikan "percayai kami", "pada kami Anda percaya". DeFi mengatakan "jangan percaya siapa pun kecuali diri Anda sendiri", "dalam matematika kami percaya". Melihat dua dunia semakin dekat itu menarik.