لینک کوتاه مطلب : https://hsgar.com/?p=4913

زبان برنامه نویسی Lurk

 Lurk یک زبان برنامه نویسی در حال توسعه برای SNARKهای بازگشتی Touring-complete است. SNARK سرواژه های (zero knowledge Succinct Non-interactive ARguments of Knowledge) است.

سلب مسئولیت

سلب مسئولیت: Lurk یک زبان مرحله تحقیقاتی اولیه است. نه رمزنگاری و نه نرم افزار ممیزی نشده است و در حال حاضر هیچ راه اندازی قابل اعتمادی برای مدارهای Groth16 وجود ندارد. از Lurk در محیط های تولید یا هر جای دیگری که امنیت لازم است استفاده نکنید.

Lurk و Lurk-rs

lurk-rs پیاده‌سازی Rust زبان lurk است که به وسیله باینری rustc تولید می‌شود.

  • اجرای برنامه Lurk در دانش صفر قابل اثبات است.
  • مدارک پنهان از چندین سیستم اثبات SNARK پشتیبانی می کنند.
  • Lurk محاسبات افزایشی و اثبات را در حلقه های نامحدود امکان پذیر می کند.
  • Lurk جریان کنترل مشروط را فراهم می کند.
  • برنامه های Lurk داده هستند و بالعکس.
  • داده های Lurk برای سازگاری با IPLD/IPFS قابل آدرس دهی محتوا هستند.

منبع

ارسال یک پاسخ

آدرس ایمیل شما منتشر نخواهد شد.