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.