Stone v3, pembuktian yang digunakan dalam SHARP v6, sekarang menjadi sumber terbuka šŸ‘

Anda sekarang dapat menjelajahi aritmatika bawaan baru kami, yang memungkinkan operasi aritmatika yang efisien dengan modulus 384-bit apa pun, meningkatkan efisiensi SHARP hingga 10x.

Sumber terbuka untuk kemenangan šŸ‘‡

https://github.com/starkware-libs/stone-prover/commit/1414a545e4fb38a85391289abe91dd4467d268e1