بنیانگذار dcSpark، Sebastien Guillemot، اعلام کرد که اولین قرارداد هوشمند دانش صفر (ZK) در شبکه اصلی کاردانو مستقر شده است که نشان دهنده عصر جدیدی برای برنامه های ZK در این پلتفرم است. این نقطه عطف توسط توسعه دهنده Cardano Input Output، با استفاده از Halo 2 برای تأیید ZK به دست آمد.

تراکنش اولیه وجوه را بلاک کرد و به دنبال آن تراکنش دوم با استفاده از اثبات ZK تولید شده توسط Halo 2 با کارمزد پایین ۲.۰۳ ADA (1.90 دلار) قفل آنها را باز کرد. Halo 2 که توسط شرکت Electric Coin (خالق Zcash) توسعه یافته است، امکان تولید اثبات ارز دیجیتال را بدون ست‌آپ قابل اعتماد فراهم می کند.

Input Output مزایای Halo 2 را توضیح داد، مانند اثبات های بازگشتی که مقیاس پذیری و قابلیت همکاری را با ساده کردن محاسبات افزایش می دهد. آنها تاکید کردند که اگرچه این یک پیشرفت قابل توجه برای اثبات دانش صفر در کاردانو است، اما هنوز کار بیشتری برای انجام وجود دارد.