مطالب مربوط به تگ برنامه نویسی

برنامه نویسی

چگونه با تایید رسمی می‌توان از بی‌نقص بودن قراردادهای هوشمند اطمینان یافت؟

در خصوص مدل‌های معنایی ماشین مجازی اتریوم (EVM) و تایید رسمی قراردادهای هوشمند با کمک فریم‌ورک‌های مختلف، تحقیقات آکادمیک بسیاری صورت گرفته است. در این مقاله می‌خواهیم به رویکردی مبتنی بر اجرای سمبلیک و اثبات قضیه‌ی Z3 بپردازیم و به شما…

مروری کلی بر پروژه‌‌های هایپر لجر در بستر بلاک چین

همانطور که در مقاله قبل اشاره شد، پروژه‌‌های هایپر لجر توسط بنیاد لینوکس میزبانی می شود. هایپر لجر عموماً در زمینه مربوط به ابزارهای نصب و راه اندازی در بلاک چین فعالیت دارد وتمرکز عمده آن خصوصی سازی معاملات در این بستر می باشد.

چرا استیبل‌‌کوین‌‌های نسل جدید مبتنی بر اتریوم هستند

استیبل کوین‌‌های جدیدی که در رقابت با تتر وارد بازار می‌‌شوند، همگی مبتنی بر اتریوم هستند. این استیبل‌‌کوین‌‌ها حسابرسی شده، شفاف و نظارت شده هستند. استفاده از این استیبل کوین‌‌های جدید مزیت‌‌هایی را به همراه دارد، به طور مثال USDC که کوین…

کاردانو پروژه Rust را برای جذب توسعه‌دهندگان ثالث عرضه می‌کند

کاردانو (Cardano)، نهمین ارز رمزنگاری شده برتر براساس سرمایه بازار، با کلاینت جدید خود به نام Rust قصد دارد توسعه‌دهندگان ثالث را جذب کند. پروژه Rust در هسته خود یک کیت توسعه نرم‌افزار برای بلاکچین کاردانو است. این پروژه شامل چندین عنصر…

hackathon چیست؟

ممکن است با شنیدن رویدادی به اسم hackathon، جمعی از هکرها را تصور کنید که به سیستم‌های دیگران حمله می‌کنند. اما این رویداد ارتباطی با آن نوع از هکرها ندارد، بلکه یک گردهمایی برای برنامه نویسان است تا با تلاش و همکاری شبانه‌روزی و خلاقیت…