কমন প্রিফিক্স $XRP লেজার লেন্ডিং প্রোটোকলকে ফরমালভাবে যাচাই করছে, যাতে গাণিতিকভাবে প্রমাণ করা যায় যে এটি খালি হতে পারবে না, দুর্বল হয়ে পড়বে না এবং এর নিয়মগুলি ভাঙবে না। এই কাজটি XLS-66-এর মাধ্যমে চালু করা লেন্ডিং প্রোটোকলের উপর কেন্দ্রীভূত। কমন প্রিফিক্স একটি ছয়-অংশের সিরিজে এই পদ্ধতির ব্যাখ্যা করেছে, যার মধ্যে রয়েছে যাচাইকরণ প্রক্রিয়ায় লিন 4 কেন বেছে নেওয়া হয়েছে। কমন প্রিফিক্স বলেছে, ফরমাল যাচাইকরণ সাধারণ সফটওয়্যার টেস্টিংয়ের চেয়েও এগিয়ে, গণিতের সাহায্যে প্রমাণ করে যে একটি সিস্টেম সমস্ত possible পরিস্থিতিতেই সঠিকভাবে কাজ করবে। একজন XRP Ledger validator, যিনি Hussein Zangana নামেও পরিচিত, বলেছেন, ফরমাল যাচাইকরণটি 이미 সামরিক প্রযুক্তি, বিমানচলাচলের সফটওয়্যার, ফ্লাইট কন্ট্রোলস, এবং পারমাণবিক বিদ্যুৎকেন্দ্রসহ উচ্চ-ঝুঁকিপূর্ণ সিস্টেমগুলিতেই ব্যবহৃত হচ্ছে। তিনি ব্যাখ্যা করেছেন, এইপদ্ধতির মাধ্যমেগণিতব্যবহারকরেপ্রমাণকরাহয়যেসিস্টেমটিসমস্তসম্ভাব্যইনপুটএবংশুধুডেভেলপারদ্বারাপরীক্ষিতপরিস্থিতিগুলিরপরিসরেসঠিকভাবেঅবস্থানকরবে। কমনপ্রিফিক্সডফনি,লিন4,TLA+,এবংPসহঅনেকগুলিটুলসবিবেচনাকরেছিল।টিমটিTLA+এবংPএখনওএইলেন্ডিংপ্রোটোকলসম্পর্কেএটিরউত্তরদিতেপ্রয়োজনীয়প্রশ্নগুলিরজন্যউপযুক্তনয়বলেসিদ্ধান্তগ্রহণকরেছে। লিন4বেছেনেওয়াএকটিকারণহলযেএটিSMTসলভারএরউপরনির্ভরশীলনয়।কমনপ্রিফিক্সপাওয়াছিলযেডফনিরসলভারপরীক্ষণজনিতজটিলগণিতহসহকরতঅনেকসময়টাইমআউটহত।লিনএখনওহাতদিয়েআরওবেশি-কাজপ্রয়োজন,তবুওএটিডেভেলপারদেরজন্যত্রুটিগুলিখুবসহজেখুঁজেপাওয়াএবংসংশোধনকরা।#Ripple https://t.co/s0YcQ4KAWX