Zcash geliştirici ekibi, Ironwood protokolü için makine kontrollü bir kanıt (machine-checked proof) tamamladı. Project Tachyon tarafından yapılan açıklamaya göre bu kanıt, Ironwood'un bakiye bütünlüğünü sağlıyor ve daha önce Zcash'in Orchard havuzunda tespit edilen sahtecilik açığının ardından geliştirildi.
Geçtiğimiz aylarda Zcash'in Orchard havuzunda, tespit edilemeyen sahtecilik işlemlerine olanak tanıyan bir güvenlik açığı keşfedilmişti. Bu açık, kötü niyetli kişilerin sistemde fark edilmeden sahte Zcash üretmesine izin verebiliyordu. Zcash ekibi, açığı kapatmak için Ironwood protokolünü devreye aldı ve şimdi de bu protokolün matematiksel olarak doğrulandığını duyurdu.
Project Tachyon, Ironwood kanıtının, protokolün dengeli ve güvenli olduğunu resmi olarak kanıtladığını belirtti. Bu tür makine kontrollü kanıtlar, kripto para protokollerinde insan hatasını minimize etmek ve güvenliği matematiksel olarak garanti altına almak için kullanılıyor.
Zcash, gizlilik odaklı bir kripto para birimi olarak biliniyor ve Orchard havuzu, kullanıcıların işlemlerini gizli tutmasına olanak tanıyor. Yaşanan güvenlik açığı, kripto para dünyasında protokol güvenliğinin ne kadar kritik olduğunu bir kez daha gözler önüne serdi.
