Cosmos IBC'nin SP1 kanıtlarını kullanarak Ethereum üzerinde konsensüs doğrulamasını inceleyorum. ZK kanıtlarından daha çok ilgim, doğrulayıcının kim tarafından kontrol edildiğinde. Matematiksel olarak geçerli kanıtlar olabilir, ancak hafif istemciyi yükseltme veya hangi doğrulama anahtarlarının güvenilir olduğuna karar verme iznine sahip biri varsa, bu tamamen farklı bir güvenlik sorunu. Ethereum dağıtımında, zamanlanmış yönetici kontrolleriyle 4-of-7 çoklu imzalı bir yapı kullanılıyor. Şimdi tam olarak bu yöneticilerin neyi değiştirebileceğini, bir kötü niyetli doğrulayıcının bir yükseltme yoluyla eklenip eklenemeyeceğini ve kullanıcıların zamanlı kilit süresi boyunca ne yapabileceğini takip etmek istiyorum. ZK, belirli bir hesaplamanın doğru şekilde yürütüldüğünü kanıtlar. Ancak, hangi hesaplamanın doğrulanacağına karar veren kişilerin bunu değiştirememesini kanıtlamaz. Bu kısmı derinlemesine incelemek istiyorum.