Je viens de terminer de parcourir succinct.xyz.

C'est une appchain qui vend du proving de ZK.

C'est super intéressant, car ça permettrait par exemple à plusieurs Rollup de partager le coût du hardware, sans pour autant avoir à se mettre d'accord sur un standard de publication on-chain 🤔

Developer and traveling web merchant.

The Magic Words are Squeamish Ossifrage.

Ils ont également comme RISC V Zero, publié une ZKvm, SP1 qui permet d'utiliser du code rust classique et de le prouver on-chain.

Ils ont facilité le déploiement des "precompiler", en très simplifier, au lieu de prouver des opérations complexes, ils prouvent uniquement le résultat.
4/2=2 => 2.2=4