Finite Field
৩০ সেকেন্ডের নির্ণয়

MPK Assurance / Go প্রমাণ প্রস্তুতি পর্যালোচনা

আমরা আপনার Go কোড শুধু পরীক্ষা করি না,
প্রমাণও করি।

রিফান্ড, ফি, ব্যালেন্স ও রিজার্ভের মতো অর্থ সরানো গুরুত্বপূর্ণ Go লজিককে আমরা স্পষ্ট স্পেসিফিকেশন, অনুমান ও নির্ধারিত পরিসরের বিরুদ্ধে যান্ত্রিকভাবে পরীক্ষা করি। Gemini প্রার্থী প্রমাণ প্রস্তুত করে, আর স্বাধীন MPK কার্নেল চূড়ান্ত রায় দেয়।

৩০ সেকেন্ডের রিফান্ড ডেমো দেখুন প্রমাণ প্রস্তুতি পর্যালোচনা অনুরোধ করুন
প্রথম ৫টি কোম্পানির জন্য সীমিত MPK প্রাথমিক গ্রহণ অফার JPY 49,800(কর ব্যতীত)
একটি Go ফাংশন দিয়ে শুরু করুন
সর্বোচ্চ ২টি বৈশিষ্ট্য
গোপনীয় কোড
পাবলিকভাবে দিতে হবে না
পুনরায় যাচাইযোগ্য
প্রমাণ সরবরাহ

MPK সলভার

লাইভ
refund.go
func ApplyRefund(paid, refunded, amount int64) (int64, error) {
  if amount < 0 {
    return refunded, errors.New("negative amount")
  }
  if refunded+amount > paid {
    return refunded, errors.New("exceeds paid")
  }
  return refunded + amount, nil
}
যাচাই করার বৈশিষ্ট্য

∀ paid, refunded, amount:
0 ≤ refunded + amount ≤ paid

প্রতিউদাহরণ পাওয়া গেছে

paid=100, refunded=80, amount=30 বৈশিষ্ট্যটি ভঙ্গ করে।

কার্নেল যাচাই করেছে

কার্নেল সংশোধিত ক্যানোনিকাল সার্টিফিকেট গ্রহণ করেছে।

পরীক্ষার বাইরে নিশ্চিততাসাধারণ Go থেকে শুরুবিশ্বাসের সিদ্ধান্ত থেকে AI আলাদা রাখুনপ্রমাণ, প্রতিউদাহরণ ও বাদ পড়া পরিসর দেখান

৩০ সেকেন্ডের রিফান্ড ডেমো

প্রতিউদাহরণ খুঁজুন, তারপর সংশোধিত সংস্করণ প্রমাণ করুন।

প্রস্তুত রিফান্ড কোড ব্যবহার করে প্রতিউদাহরণ থেকে সংশোধন, তারপর সফল প্রমাণ পর্যন্ত প্রবাহ দেখুন। পাবলিক ডেমোতে গোপনীয় কোড দিতে হবে না।

রিফান্ড নীতি: মোট রিফান্ড পরিশোধিত অর্থের বেশি হতে পারবে না

যাচাই করার বৈশিষ্ট্য

0 ≤ refunded + amount ≤ paid
  • লক্ষ্য: একটি রিফান্ড নীতি ফাংশন
  • ইনপুট: ঋণাত্মক নয় এমন পূর্ণসংখ্যা
  • বাইরের I/O, DB ও নেটওয়ার্ক পরিসরের বাইরে
  • স্পষ্ট অনুমান ও Go-এর নির্দিষ্ট উপসেটের মধ্যে পরীক্ষা করা হয়

যাচাইয়ের ফলাফল (ত্রুটিপূর্ণ বাস্তবায়ন)

প্রতিউদাহরণ পাওয়া গেছে

আমরা এমন নির্দিষ্ট ইনপুট পেয়েছি যেখানে মোট রিফান্ড পরিশোধিত অর্থের বেশি হয়ে যায়।

paid = 100
refunded = 80
amount = 30
result = 110 (বৈশিষ্ট্য লঙ্ঘন)

প্রযুক্তিগত বিস্তারিত

চালনা ID
run_refund_bug_20260727
সার্টিফিকেট হ্যাশ
— প্রতিউদাহরণ পাওয়ায় তৈরি হয়নি
কার্নেলের রায়
REJECTED / COUNTEREXAMPLE
অ্যাক্সিয়ম প্রতিবেদন
পূর্ণসংখ্যা গণিত / স্পষ্ট অনুমান

ফলাফলের শ্রেণিবিভাগ

চার ধরনের ফলাফল

প্রমাণিত

নির্দিষ্ট বৈশিষ্ট্যটি স্পষ্ট অনুমান ও পরিসরের মধ্যে সত্য থাকে।

প্রমাণিত
প্রতিউদাহরণ পাওয়া গেছে

আমরা বৈশিষ্ট্যটি ভঙ্গ করা নির্দিষ্ট ইনপুট দেখাই এবং কোন শর্ত ঠিক করতে হবে তা পরিষ্কার করি।

খণ্ডিত
অজানা

বর্তমান কৌশল বৈশিষ্ট্যটি সত্য কি না নির্ধারণ করতে না পারলে আমরা তা স্পষ্টভাবে জানাই।

অজানা
পরিসরের বাইরে

অসমর্থিত সিনট্যাক্স, বাইরের I/O বা অসমর্থিত আচরণের মতো কারণে লক্ষ্যটি সামলানো না গেলে আমরা নির্দিষ্ট কারণ ব্যাখ্যা করি।

প্রযোজ্য নয়

পরীক্ষার সঙ্গে পার্থক্য

আমরা শুধু নির্বাচিত ইনপুট নয়, নির্দিষ্ট বৈশিষ্ট্যটি পরীক্ষা করি।

উদাহরণভিত্তিক পরীক্ষা

  • আপনার লেখা কেস চালায়
  • নির্বাচিত নয় এমন ইনপুট অঢাকা থাকে
  • পাস করা ফলাফল সার্টিফিকেট নয়
  • বিশ্বাস পরীক্ষার নকশার ওপর নির্ভর করে

MPK Assurance (প্রমাণ)

  • নির্দিষ্ট বৈশিষ্ট্য ও পরিসর পরীক্ষা করে
  • বৈশিষ্ট্য ভঙ্গ করা নির্দিষ্ট ইনপুট দেখায়
  • পুনরায় যাচাইযোগ্য সার্টিফিকেট ও হ্যাশ রেখে যায়
  • স্বাধীন কার্নেল চূড়ান্ত রায় দেয়
তুলনাপরীক্ষাপ্রমাণ
লক্ষ্যনির্বাচিত ইনপুটনির্দিষ্ট বৈশিষ্ট্য
প্রতিউদাহরণ প্রদর্শন△○
পুনরায় যাচাইচালনার লগসার্টিফিকেট
চূড়ান্ত রায়টেস্ট স্যুটকার্নেল

৩টি বৈশিষ্ট্য

পরীক্ষার বাইরে নিশ্চিততা

আমরা শুধু কয়েকটি নমুনা ইনপুট নয়, স্পষ্ট স্পেসিফিকেশন, অনুমান ও পরিসরের বিরুদ্ধে বৈশিষ্ট্যটি পরীক্ষা করি।

বিশেষ প্রমাণ ভাষা নয়, Go ব্যবহার করুন

বাইরের I/O থেকে আলাদা করা গুরুত্বপূর্ণ Go নীতি-ফাংশন দিয়ে শুরু করা যায়।

AI-কে প্রমাণ করতে দিন, কিন্তু AI-কে বিশ্বাসের ভিত্তি করবেন না

AI শুধু প্রার্থী প্রস্তুত করে। ক্যানোনিকাল সার্টিফিকেট পড়ে স্বাধীন কার্নেল চূড়ান্ত গ্রহণ সম্পন্ন করে।

কাজটি AI-কে করতে দিন। চূড়ান্ত রায় AI-কে দিতে দেবেন না।

গ্রাহকএকটি Go ফাংশন এবং নিশ্চয়তা দিতে হবে এমন বৈশিষ্ট্য জমা দিন
Geminiবৈশিষ্ট্য, কৌশল ও প্রার্থী প্রমাণ প্রস্তাব করে
MPKসার্টিফিকেট স্বাধীনভাবে পরীক্ষা করা আস্থার সীমা
মানুষস্পেসিফিকেশন, অনুমান ও গোপনীয়তা নিশ্চিত করে
প্রমাণপুনরায় যাচাইযোগ্য প্রমাণ প্যাক সরবরাহ

Gemini প্রমাণ কর্মপ্রবাহ চালায়, MPK আস্থার সিদ্ধান্ত দেয়, আর মানুষ ডেলিভারি অনুমোদন করে।

যেসব ক্ষেত্রে যাচাই কাজে লাগে

রিফান্ডমোট রিফান্ড পরিশোধিত অর্থের বেশি হতে পারবে না
ফিকখনো ঋণাত্মক নয় এবং চুক্তির সীমার বেশি নয়
রিজার্ভপ্রক্রিয়ার পর ব্যালেন্স ন্যূনতম সীমার নিচে নামে না
ডিসকাউন্টএকাধিক ডিসকাউন্ট একসঙ্গে হলেও সীমার মধ্যে থাকে
পয়েন্টজারি করা পয়েন্ট বাজেট সীমা ছাড়ায় না
বণ্টনবণ্টিত অর্থের যোগফল মূলধনের সমান হয়

প্রমাণ প্যাক

আমরা AI-এর উত্তর নয়, পুনরায় যাচাইযোগ্য প্রমাণ সরবরাহ করি।

MPK CERTIFICATE

প্রমাণ প্রস্তুতি পর্যালোচনা
ক্যানোনিকাল সার্টিফিকেট রেকর্ড

কার্নেলের রায়
ACCEPTED
MPK
  • সার্টিফিকেট হ্যাশ
  • MPK কার্নেলের রায়
  • Go রেফারেন্স পরীক্ষকের ফলাফল
  • অ্যাক্সিয়ম প্রতিবেদন
  • প্রমাণিত বৈশিষ্ট্য ও ঘোষিত অনুমান
  • বাদ দেওয়া পরিসর ও পরিসরের বাইরে থাকার কারণ
  • প্রতিউদাহরণ, পাওয়া গেলে
  • চালনা ID ও পুনরায় যাচাইয়ের তথ্য

প্রমাণ প্রস্তুতি পর্যালোচনা

নির্দিষ্ট পরিসরের মধ্যে আপনার প্রথম ফাংশন পর্যালোচনা করুন।

JPY 198,000 (কর ব্যতীত)
  • একটি Go ফাংশন
  • প্রমাণের জন্য সর্বোচ্চ ২টি বৈশিষ্ট্য
  • ফলাফলকে প্রমাণিত, প্রতিউদাহরণ, অজানা বা পরিসরের বাইরে হিসেবে শ্রেণিবদ্ধ করে
  • প্রমাণ প্যাক এবং ফলাফলের অনলাইন ব্যাখ্যা
প্রাথমিক গ্রহণ অফার দেখুন

এটি পরিকল্পিত সাধারণ মূল্য। বর্তমানে আমরা প্রথম ৫টি কোম্পানির জন্য সীমিত প্রাথমিক গ্রহণ প্রচার চালাচ্ছি, মূল্য JPY 49,800 কর ব্যতীত।

MPK প্রাথমিক গ্রহণ অফার

প্রথম ৫টি কোম্পানির জন্য সীমিত

আপনার গুরুত্বপূর্ণ Go কোড শুধু পরীক্ষা নয়, প্রমাণ করা যায় কি না দেখুন।

MPK প্রমাণ প্রস্তুতি পর্যালোচনায় আমরা একটি লক্ষ্য Go ফাংশন বেছে নিই, নিশ্চয়তা দিতে হবে এমন বৈশিষ্ট্য নির্ধারণ করি, AI দিয়ে প্রার্থী প্রমাণ তৈরি করি এবং MPK কার্নেল দিয়ে স্বাধীন পরীক্ষা চালাই।

যা অন্তর্ভুক্ত

  • একটি Go ফাংশন
  • প্রমাণের জন্য সর্বোচ্চ ২টি বৈশিষ্ট্য
  • MPK সামঞ্জস্য মূল্যায়ন
  • প্রমাণ, প্রতিউদাহরণ, প্রমাণে বাধা এবং পরিসরের বাইরে থাকা বিষয়ে প্রতিবেদন
  • প্রমাণের পরিসর ও অনুমানের সারসংক্ষেপ প্রতিবেদন

প্রচারের শর্ত

এই অফার এমন কোম্পানির জন্য, যারা সেবার পর খোলামেলা মতামত দিতে পারে এবং MPK অফিসিয়াল সাইটে প্রকাশের জন্য কেস স্টাডি অনুমোদন করতে পারে। কেস স্টাডিতে কোম্পানির নাম, যোগাযোগ ব্যক্তির নাম, পদবি, মতামত এবং প্রতিনিধি ছবি বা কোম্পানির লোগো থাকতে পারে।

কোম্পানির নামনামপদবিমতামতপ্রতিনিধি ছবি বা কোম্পানির লোগো
প্রকাশের আগে আপনি বিষয়বস্তু পর্যালোচনা করবেন, এবং আমরা শুধু অনুমোদিত উপাদান ব্যবহার করব। আমরা অনুকূল রিভিউ চাই না।

সেবার প্রবাহ

সেবার প্রবাহ (৫ ধাপ)

ডিসকভারি

ক্ষতির কারণ হতে পারে এমন ব্যর্থতার পরিস্থিতি এবং লক্ষ্য ফাংশন নিশ্চিত করি।

পরিসর স্থিরকরণ

ফাংশন, বৈশিষ্ট্য, অনুমান ও বাদ দেওয়া পরিসর স্থির করি।

Gemini + MPK পর্যালোচনা

AI প্রার্থী প্রস্তুত করে, আর MPK সার্টিফিকেট পরীক্ষা করে।

ফলাফলের ব্যাখ্যা

প্রমাণ, প্রতিউদাহরণ, অজানা ফলাফল, বাদ দেওয়া পরিসর ও প্রমাণ ব্যাখ্যা করি।

পরবর্তী ধাপ

সংশোধন, অতিরিক্ত ফাংশন বা CI/CD সংযোজনে এগোনো হবে কি না পরিষ্কার করি।

যাদের জন্য উপযুক্ত

  • আপনারা Go-তে রিফান্ড, ফি বা ব্যালেন্স লজিক বাস্তবায়ন করেন
  • একটি ত্রুটিও আর্থিক ক্ষতি বা অডিটের বোঝা তৈরি করতে পারে
  • আপনাদের নিবেদিত আনুষ্ঠানিক যাচাইকরণ দল নেই
  • বাইরের I/O থেকে আলাদা করা যায় এমন ছোট ফাংশন আছে

বর্তমান সীমাবদ্ধতা

  • যে কোনো সম্পূর্ণ Go অ্যাপ্লিকেশনের প্রমাণ
  • DB, API, নেটওয়ার্ক বা UI-সহ শুরু থেকে শেষ পর্যন্ত প্রক্রিয়া
  • সব নিরাপত্তা দুর্বলতা শনাক্তকরণ
  • অসমর্থিত সিনট্যাক্স, বাইরের নির্ভরতা বা অস্পষ্ট স্পেসিফিকেশন

প্রশ্নোত্তর

প্রথম পরামর্শের আগে প্রশ্নোত্তর

যোগাযোগের আগে সাধারণ প্রশ্নগুলোর উত্তর এখানে আছে, যেমন প্রমাণের পরিসর, AI-এর ভূমিকা এবং কোড কীভাবে ব্যবহৃত হয়।

এটি কি সব ত্রুটি দূর করে?

না। আমরা শুধু স্পষ্ট অনুমান, পরিসর এবং সমর্থিত Go উপসেটের মধ্যে নির্দিষ্ট বৈশিষ্ট্য পরীক্ষা করি। এটি পুরো অ্যাপ্লিকেশন বা বাহ্যিক সিস্টেমের নিশ্চয়তা দেয় না।

আমাদের কি Lean বা Rocq শিখতে হবে?

প্রথম পর্যালোচনার জন্য নয়। আমরা বাইরের I/O থেকে আলাদা করা Go নীতি-ফাংশন এবং আপনি যে বৈশিষ্ট্যের নিশ্চয়তা চান তা নিশ্চিত করে শুরু করি।

সঠিক কী, তা কি AI সিদ্ধান্ত দেয়?

না। Gemini বৈশিষ্ট্য, প্রমাণ কৌশল ও প্রার্থী প্রমাণ তৈরি করে। স্বাধীন MPK কার্নেল চূড়ান্ত সার্টিফিকেট গ্রহণ বা প্রত্যাখ্যান করে।

প্রমাণ ব্যর্থ হলে কী হয়?

আমরা ফলাফলকে প্রতিউদাহরণ, অজানা বা পরিসরের বাইরে হিসেবে শ্রেণিবদ্ধ করি, তারপর কারণ, প্রয়োজনীয় স্পেসিফিকেশন, সম্ভাব্য সংশোধন এবং প্রমাণযোগ্য ইউনিট আলাদা করার পদ্ধতি ব্যাখ্যা করি।

এটি কি CI/CD-তে যুক্ত করা যায়?

প্রমাণ প্রস্তুতি পর্যালোচনা লক্ষ্য ও প্রমাণের বাস্তবতা নিশ্চিত করার পর, আমরা আলাদাভাবে ধারাবাহিক পরীক্ষা বা CI/CD সংযোজন প্রস্তাব করতে পারি।

জিজ্ঞাসার সঙ্গে কি কোড পাঠাতে হবে?

পাবলিক ফর্মে গোপনীয় কোড পেস্ট করতে হবে না। জিজ্ঞাসার পর আমরা NDA ব্যবস্থাপনা এবং নিরাপদ শেয়ারিং পদ্ধতি নিশ্চিত করব।

যোগাযোগ

আপনার কোড প্রমাণ করা যায় কি না যাচাই করুন।

কোন ব্যর্থতা সবচেয়ে গুরুত্বপূর্ণ এবং কোন Go ফাংশন পর্যালোচনা করতে চান তা জানান। পাবলিক ফর্মে গোপনীয় কোড পেস্ট করতে হবে না।

NDA ও নিরাপদ কোড শেয়ারিং সমর্থিত

পাবলিক ফর্মে সোর্স কোড, প্রমাণীকরণ তথ্য বা ব্যক্তিগত তথ্য দেবেন না।

প্রিভিউ জমা নেওয়া হয়েছে। প্রোডাকশন সাইটে এটি বিদ্যমান জিজ্ঞাসা প্রবাহের সঙ্গে যুক্ত করুন।