Ethereum geliştiricisi barry, zkEVM özel akıllı sözleşme yeni gelişmelerini duyurdu: özel kullanıcı durumunu destekliyor, ancak özel küresel durumu sağlamıyor.

Altın Finans haberine göre, Ethereum geliştiricisi barryWhiteHat, sıfır bilgi kanıtı sanal makinesi (zkEVM) ticarileştirilmesiyle birlikte ilginç bir fırsatın ortaya çıktığını belirtti: hem özel akıllı sözleşme altyapısı sağlamak hem de Ethereum sanal makinesi (EVM) ile uyumluluğu korumak. Geliştiriciler, Solidity kodu yazabilir ve belirli bir sürüm Solidity derleyicisi veya bazı son işleme araçları kullanarak derleyerek özel akıllı sözleşmeler oluşturabilir. Özel küresel durum ve gizlilik etrafında bazı önemli dengeler vardır, bunun temel nedeni ise: kanıt sunmak için neyi kanıtlamak istediğinizi bilmeniz gerekir. Bu nedenle, sizin bilmediğiniz küresel bir genel duruma sahip özel bir akıllı sözleşme var olamaz. Dolayısıyla, küresel özel duruma sahip bir özel akıllı sözleşmenin de var olamayacağı sonucuna varılabilir. Örneğin, Uniswap gibi uygulamalar özel bir biçimde gerçekleştirilemez çünkü kanıtlayıcının bir swap (işlem) işleminin doğru bir şekilde gerçekleştirildiğini kanıtlayabilmesi için iki likidite havuzunun bakiyelerini bilmesi gerekir. Bu nedenle, bazı aşina olduğumuz ve tercih ettiğimiz uygulamalar şu anda özel bir şekilde gerçekleştirilemiyor, yalnızca giriş-çıkış (IO) işlevine sahip olduğumuzda - bu, IO'nun neden bu kadar önemli olduğunu açıklıyor. Bu, tamamen özel bir Ethereum inşa etmemizi sağlıyor ve güven varsayımları, yerel Ethereum'la tamamen uyumlu. Ancak, bu makale, reth'e pstore ve pload adlı iki opcode ekleyerek, bunları zk-SNARKs Sanal Makinesi'ne derleyerek özel akıllı sözleşmelerin nasıl gerçekleştirileceğini araştırmayı amaçlamaktadır - bu tür sözleşmeler özel kullanıcı durumuna sahipken, özel küresel duruma sahip değildir.