औपचारिक सत्यापन

क्रिप्टोग्राफिक एल्गोरिदम और ब्लॉकचेन तंत्र के कुछ गुणों को सुनिश्चित करने के लिए गणितीय रूप से कठोर प्रमाणों का उपयोग करना