العقود الذكية المشفرة مقابل zk تتناول إثباتات المعرفة الصفرية والتشفير المتماثل بالكامل الخصوصية على سلاسل الكتل من زوايا مختلفة. فهم التمييز مهم حتى لا يتم الخلط بين كليهما. عقود Zk-Smart (التحقق دون التعرض) تسمح براهين المعرفة الصفرية للمحرر بإقناع المدقق بأن الحساب أو العبارة صحيحة دون الكشف عن المدخلات الأساسية. في العديد من مهام سير عمل zk ، تظل الحسابات الثقيلة أو البيانات الحساسة خارج السلسلة ، ويتم تقديم دليل zk على السلسلة لإثبات صحتها. يكون هذا النموذج قويا عندما يكون الهدف هو نشر بيان صغير يمكن التحقق منه حول حساب خاص أكبر. العقود الذكية المشفرة (الحساب بينما تظل البيانات مشفرة) يتيح التشفير المتماثل بالكامل (FHE) الحساب التعسفي مباشرة على النصوص المشفرة بحيث يتطابق النص المشفر الناتج ، بمجرد فك تشفيره من قبل طرف معتمد ، مع نتيجة نفس الحساب على النص العادي. بعبارات بسيطة ، يتيح FHE للأنظمة الحوسبة دون الكشف عن المدخلات. ترجع فكرة البناء والتمهيد الأصلية ل FHE إلى Craig Gentry (2009) ، الذي وضع الأساس النظري للعمل العملي الذي أعقب ذلك. يستخدم نهج @zama_fhe FHE لجلب هذه القدرة إلى العقود الذكية ، والتي من خلالها يكتب المطورون العقود في Solidity باستخدام مكتبة FHE (fhEVM) ، تصدر سلاسل المضيف مؤشرات وأحداث ، وتقوم المعالجات المساعدة خارج السلسلة بعمل FHE وتخزين النصوص المشفرة. تم تصميم البروتوكول بشكل صريح بحيث يمكن التحقق من الحساب المشفر وتنسيقه بدلا من إخفاءه.