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