{"id":20200,"date":"2026-09-18T19:19:00","date_gmt":"2026-09-18T16:19:00","guid":{"rendered":"https:\/\/fxknews.com\/?p=20200"},"modified":"2026-09-18T19:07:24","modified_gmt":"2026-09-18T16:07:24","slug":"xrpl-yeni-borc-verme-piyasasinin-bosaltilamayacagini-matematiksel-olarak-dogrulamaya-calisiyor","status":"publish","type":"post","link":"https:\/\/fxknews.com\/?p=20200","title":{"rendered":"XRPL, yeni bor\u00e7 verme piyasas\u0131n\u0131n bo\u015falt\u0131lamayaca\u011f\u0131n\u0131 matematiksel olarak do\u011frulamaya \u00e7al\u0131\u015f\u0131yor"},"content":{"rendered":"<p>XRP Ledger geli\u015ftiricileri, yakla\u015fan bor\u00e7 verme protokol\u00fcn\u00fcn belirli sistem ko\u015fullar\u0131nda bo\u015falt\u0131lamad\u0131\u011f\u0131n\u0131 ya da iflasa s\u00fcr\u00fcklenemedi\u011fini matematiksel olarak test ediyor. Protocol ara\u015ft\u0131rma \u015firketi Common Prefix, 17 Eyl\u00fcl\u2019de XRPL Lending Protocol \u00fczerinde Lean 4 ile resmi do\u011frulama \u00e7al\u0131\u015fmas\u0131 y\u00fcr\u00fctt\u00fc\u011f\u00fcn\u00fc a\u00e7\u0131klad\u0131. Lean 4, yaz\u0131l\u0131m\u0131n tan\u0131mlanan matematiksel \u00f6zellikleri olas\u0131 durumlar boyunca kar\u015f\u0131lay\u0131p kar\u015f\u0131lamad\u0131\u011f\u0131n\u0131 kan\u0131tlamaya yarayan bir teorem ispat dili olarak kullan\u0131l\u0131yor.<\/p>\n<p style=\"background:rgba(59,130,246,0.12);border-left:4px solid #3b82f6;padding:14px 16px;border-radius:6px;color:#cbd5e1;font-weight:normal;line-height:1.6;box-shadow:0 2px 6px rgba(0,0,0,0.2);\">\ud83d\udca1 <strong style=\"color:#93c5fd;\">Bilgi Notu:<\/strong> Resmi do\u011frulama, bir yaz\u0131l\u0131m\u0131n sadece test edilmesinden farkl\u0131d\u0131r; sistemin belirli kurallar\u0131 her olas\u0131 durumda sa\u011flay\u0131p sa\u011flamad\u0131\u011f\u0131n\u0131 matematiksel olarak kan\u0131tlamaya \u00e7al\u0131\u015f\u0131r. Lean 4 de bu t\u00fcr ispatlar i\u00e7in kullan\u0131lan bir programlama ve ispat dilidir.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>XRP Ledger geli\u015ftiricileri, yakla\u015fan bor\u00e7 verme protokol\u00fcn\u00fcn belirli sistem ko\u015fullar\u0131nda bo\u015falt\u0131lamad\u0131\u011f\u0131n\u0131 ya da iflasa s\u00fcr\u00fcklenemedi\u011fini matematiksel olarak test ediyor. Protocol<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"colormag_page_container_layout":"default_layout","colormag_page_sidebar_layout":"default_layout","fxk_merge_backup":"","footnotes":""},"categories":[8],"tags":[3166,5088,641],"class_list":["post-20200","post","type-post","status-publish","format-standard","hentry","category-son-dakikalar","tag-borc-verme-protokolu","tag-resmi-dogrulama","tag-xrp-ledger"],"_links":{"self":[{"href":"https:\/\/fxknews.com\/index.php?rest_route=\/wp\/v2\/posts\/20200","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/fxknews.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/fxknews.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/fxknews.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/fxknews.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=20200"}],"version-history":[{"count":1,"href":"https:\/\/fxknews.com\/index.php?rest_route=\/wp\/v2\/posts\/20200\/revisions"}],"predecessor-version":[{"id":20206,"href":"https:\/\/fxknews.com\/index.php?rest_route=\/wp\/v2\/posts\/20200\/revisions\/20206"}],"wp:attachment":[{"href":"https:\/\/fxknews.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=20200"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/fxknews.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=20200"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/fxknews.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=20200"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}