Merkle kanıtı

Merkle kanıtı — diğer adıyla içerme kanıtı — belirli bir işlemin gerçekten bir bloğun parçası olduğunu, doğrulayanın bloktaki tüm işlemleri indirmesine gerek kalmadan gösteren kısa bir hash listesidir. Kanıtı sunan taraf, o işlemden Merkle köküne uzanan yol boyunca kardeş hash'leri verir; doğrulayan taraf hash zincirini yeniden hesaplar ve son değerin blok başlığında zaten kayıtlı olan kökle eşleştiğini kontrol eder. Hafif cüzdanlar, zincirler arası köprüler ve rollup'lar veriyi ucuza doğrulamak için buna dayanır. Sınırını da bilmek gerekir: Merkle kanıtı yalnızca belirli bir ağaca ait olmayı gösterir, o bloğun kanonik zincirde olduğunu değil.