Ecco alcuni articoli e thread interessanti riguardanti le cose ZK dello scorso mese.
@zksecurityXYZ Implicazione probabilistica in SPLAT
Brandon Kase
Brandon Kase19 nov 2025
L'implicazione probabilistica in SPLAT si è rivelata super pulita!! Complimenti per la semplicità del formalismo nella 1.4 del documento Lo screenshot mostra la regola della catena. Mi piace come puoi seguire la sezione di calcolo anche senza conoscenze di Lean.
2,1K