تگ: تأیید کننده لگاریتمی

کتاب اثبات‌های داخلی قابل‌روزرسانی با زمان تأیید لگاریتمی و کاربردهای آن در امنیت داده‌ها