Stone v3, il dimostratore utilizzato in SHARP v6, è ora open source 👐
Ora puoi esplorare il nostro nuovo built-in aritmetico, che consente operazioni aritmetiche efficienti con qualsiasi modulo a 384 bit, aumentando l'efficienza di SHARP di 10 volte.
Open source per la vittoria 👇
https://github.com/starkware-libs/stone-prover/commit/1414a545e4fb38a85391289abe91dd4467d268e1