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