নিরাপত্তা ও টেস্টিং
Kontrol - formal verification tool based on Foundry and KEVM
বিধিবদ্ধ যাচাইকরণ
Foundry · শিক্ষা · গভর্ন্যান্স · বিধিবদ্ধ যাচাইকরণ · Solidity · রানটাইম যাচাইকরণ · কন্ট্রাক্ট ডিপ্লয়মেন্ট · স্ট্যাটিক অ্যানালাইসিস
সোশ্যাল (একটি নতুন ট্যাবে খোলে)runtimeverification/kontrol(118 ☆) (একটি নতুন ট্যাবে খোলে)runtimeverification/optimism-ci(4 ☆) (একটি নতুন ট্যাবে খোলে)runtimeverification/_audits_lidofinance_dual-governance_fork(1 ☆) (একটি নতুন ট্যাবে খোলে)runtimeverification/yearn-v3-term-vault(0 ☆) (একটি নতুন ট্যাবে খোলে)runtimeverification/Depeg-swap(0 ☆) (একটি নতুন ট্যাবে খোলে)runtimeverification/_audits_Ethereum-optimism_pausability(0 ☆) (একটি নতুন ট্যাবে খোলে)
Kontrol Foundry-এর প্রপার্টি টেস্টগুলোকে KEVM-সমর্থিত প্রমাণে উন্নীত করে, যাতে আপনি শুধুমাত্র সাধারণ KEVM-এর তুলনায় অনেক কম হাতে-লেখা স্পেসিফিকেশনের কাজ করে বিধিবদ্ধ নিশ্চয়তা অর্জন করতে পারেন।
