মূল কন্টেন্টে যান
নিরাপত্তা ও টেস্টিং

Kontrol - formal verification tool based on Foundry and KEVM

বিধিবদ্ধ যাচাইকরণ

GitHub-এ দেখুন (নতুন ট্যাবে খোলে)X-এ Kontrol - formal verification tool based on Foundry and KEVM (নতুন ট্যাবে খোলে)

পরবর্তীটি দেখুন

Act

Kontrol - formal verification tool based on Foundry and KEVM সম্পর্কে

Kontrol Foundry-এর প্রপার্টি টেস্টগুলোকে KEVM-সমর্থিত প্রমাণে উন্নীত করে, যাতে আপনি শুধুমাত্র সাধারণ KEVM-এর তুলনায় অনেক কম হাতে-লেখা স্পেসিফিকেশনের কাজ করে বিধিবদ্ধ নিশ্চয়তা অর্জন করতে পারেন।

ট্যাগ

  • Foundry
  • শিক্ষা
  • গভর্ন্যান্স
  • বিধিবদ্ধ যাচাইকরণ
  • Solidity
  • রানটাইম যাচাইকরণ
  • কন্ট্রাক্ট ডিপ্লয়মেন্ট
  • স্ট্যাটিক অ্যানালাইসিস

রিপোজিটরিগুলোruntimeverification

তথ্য

ধরন
বিধিবদ্ধ যাচাইকরণ
GitHub স্টার
127
লাইসেন্স
BSD-3-Clause
লিস্টিং পর্যালোচিত
জুন 2026

একই ধরনের টুল

K Semantics of the Ethereum Virtual Machine (EVM)

K Semantics of the Ethereum Virtual Machine (EVM)

KEVM হলো EVM-এর K-framework এক্সিকিউটেবল সিম্যান্টিকস: যখন আপনার কনফরম্যান্স-চেকড এক্সিকিউশন, সিম্বলিক এক্সপ্লোরেশন, গ্যাস রিজনিং, বা ইথেরিয়ামের নিয়মগুলো ঘনিষ্ঠভাবে অনুসরণ করে এমন প্রমাণের প্রয়োজন হয়, তখন এটিকে বাইটকোডে পয়েন্ট করুন।

hax

hax

hax হলো Rust-এর একটি বড় সাবসেটকে F* বা Rocq-এর মতো ফরমাল ল্যাঙ্গুয়েজে হাই অ্যাসিওরেন্স ট্রান্সলেশনের জন্য একটি টুল।

Certora Prover

Certora Prover

Certora Prover is a cloud formal-verification service that checks specifications written in CVL against deployed contract code. Verification engineers use it to prove that a contract holds stated properties for all inputs.