מציג מנגנון 'degriefer' המאפשר בלוקצ'יינים עתיד-קוונטיים עם טביעת רגל מינימלית בשרשרת (כ-96 בתים לעסקה). מבטל הוכחות קריפטוגרפיות גדולות וחתימות דרך אימות צד-לקוח תוך שמירה על פרטיות. אומת בצורה פורמלית עם Lean 4.
@informaq-he.bsky.social@informaq-he.bsky.social