Hier zijn enkele interessante artikelen en discussies over ZK dingen van vorige maand.
@zksecurityXYZ Probabilistische implicatie in SPLAT
Brandon Kase
Brandon Kase19 nov 2025
De probabilistische implicatie in SPLAT bleek super schoon te zijn!! Complimenten voor de eenvoud van de formalismen in 1.4 in het paper Screenshot toont de kettingregel. Ik vind het leuk hoe je de berekeningen kunt volgen, zelfs zonder kennis van Lean.
2,11K