Witness
داده‌ای که prover برای نشان‌دادن برقرار بودن رابطه مورد اثبات در اختیار دارد؛ لازم نیست همه این داده در proof نهایی قرار بگیرد.
این تعریف را هوش مصنوعی از روی مطالب فیدآپ نوشته است.
مطالبی با این مفهوم
- Cryptography
leanVM؛ نتیجه منفی برای folding در تجمیع امضاهای post-quantum
در آزمایش روی M2 با ۸ گیگابایت حافظه، روش‌های hash-based accumulation از full-verifier recursion در leanVM جلو نزدند. تنظیم اندازه leaf نیز نتیجه مقایسه با batching را تغییر داد.