أنظمة ZK تتكون من مكونين: المثبتات والمحققات. الإثبات مكلف حسابيا (كان يستغرق أياما والآن يستغرق ثواني). التحقق رخيص من سلاسل العقود الذكية لكنه مكلف بشكل مستحيل على البيتكوين أصليا. الابتكار: جعل التحقق من ال ZK ممكنا على البيتكوين عبر دوائر مشوشة، مما يخرج المتحقق من السلسلة.