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

Certora Prover

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

GitHub-এ দেখুন (নতুন ট্যাবে খোলে)

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

Kontrol - formal verification tool based on Foundry and KEVM

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.

ট্যাগ

  • বিধিবদ্ধ যাচাইকরণ
  • যাচাইকরণ
  • নিরাপত্তা

রিপোজিটরিCertora

তথ্য

ধরন
বিধিবদ্ধ যাচাইকরণ
GitHub স্টার
339
লাইসেন্স
GPL-3.0
লিস্টিং পর্যালোচিত
সেপ্টেম্বর 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-এর মতো ফরমাল ল্যাঙ্গুয়েজে হাই অ্যাসিওরেন্স ট্রান্সলেশনের জন্য একটি টুল।

Act

Act

Act হলো ইথেরিয়ামের ডিক্লারেটিভ স্পেসিফিকেশন ভাষা এবং টুলচেইন যা একটি EVM প্রোগ্রামের সমস্ত আচরণ বর্ণনা করার জন্য ব্যবহৃত হয়, যাতে SMT সলভার, থিওরেম প্রুভার, বা অর্থনৈতিক বিশ্লেষণ টুলগুলো বাইটকোড-স্তরের সঠিকতা এবং ইনসেনটিভ সামঞ্জস্যতা সম্পর্কে যৌক্তিক বিশ্লেষণ করতে পারে, যার মধ্যে কংক্রিট ইমপ্লিমেন্টেশনের বিপরীতে স্বয়ংক্রিয় রিফাইনমেন্ট প্রুফ অন্তর্ভুক্ত রয়েছে।