Les systèmes ZK ont deux composants : les prouveurs et les vérificateurs. La preuve est coûteuse en termes de calcul (cela prenait autrefois des jours, maintenant cela prend des secondes). La vérification est bon marché sur les chaînes de contrats intelligents mais incroyablement coûteuse sur Bitcoin de manière native. L'innovation : rendre la vérification ZK possible sur Bitcoin grâce à des circuits embrouillés, en déplaçant le vérificateur hors chaîne.