Blockchain altyapısında ve dApp'lerde sıfır bilgi kanıtı teknolojisini benimseyen daha fazla ekip görüyoruz. Bu yeni planlardan bazıları, sıfır bilgi kanıtlarının blok zinciri alanında uygulanmasını hızlandırabilir ve mahremiyet ile ölçeklenebilirliğe daha iyi bir şekilde yardımcı olabilir. Bununla birlikte, çoğu proje Ethereum'a dayalı olarak geliştirilirken, Bitcoin sıfır bilgi kanıtları alanında gereken ilgiden yoksundur.
Önemli Çıkarımlar
Sıfır bilgi kanıtı, işlemin geçerliliğini ve bütünlüğünü korurken tutar, adres, giriş ve çıkış vb. gibi işlem ayrıntılarını gizleyebildiği için Bitcoin'in gizliliğini artırabilir, böylece önleyebilir Kullanıcı işlem etkinliklerini izleyin ve analiz edin.
**Sıfır bilgi kanıtı, işlem verilerinin boyutunu ve doğrulama süresini azaltabileceği için Bitcoin'in ölçeklenebilirliğini artırabilir. ** Örneğin, ZK-STARK'lar veya geliştirilmiş sürümleri kullanılarak, birden çok işlem birlikte paketlenebilir ve sıfır bilgi kanıtları kullanılarak doğrulanabilir, bu da yerden ve zamandan tasarruf sağlar.
**Sıfır bilgi kanıtı, daha fazla işlevi ve uygulamayı destekleyebileceği için Bitcoin'in inovasyonunu geliştirebilir. ** Örneğin, ZK-SNARK'lar kullanılarak daha fazla mantık ve hesaplama uygulanabilir ve bilgi ifşa edilmeden veya ek yük artırılmadan daha karmaşık ve esnek sözleşmeler yürütülebilir.
**Nihayetinde sıfır bilgi kanıtları, Bitcoin'i temel değerleri doğrultusunda daha güvenilir ve merkezi olmayan hale getirecektir. **Teknolojinin sürekli gelişmesi ve iyileştirilmesi ile Bitcoin ve ZKP'nin potansiyeli de sürekli olarak keşfedilecektir.
Giderek daha fazla ekip, blockchain altyapısında ve dApp'lerde sıfır bilgi kanıtı teknolojisini benimsiyor. Ancak, çoğu proje Ethereum'a dayalı olarak geliştirilir. Bununla birlikte, Bitcoin ve sıfır bilgi ispatları aslında doğal bir kombinasyona sahiptir ve bu alan şu anda gerekli ilgiyi görmemektedir. Sıfır bilgi kanıtı teknolojisi ve Bitcoin'in birleşimi, Bitcoin ağına ne tür bir yetkilendirme getirecek? Bu Bing Ventures blog gönderisinde, bu konuyu teknik ilkeler ve uygulama beklentileri açısından inceleyeceğiz.
Sıfır bilgi kanıtı (ZKP), doğrulayıcıya kanıt hakkında herhangi bir bilgi sağlamadan bir tarafın (kanıtlayıcı olarak adlandırılır) başka bir tarafa (doğrulayıcı olarak adlandırılır) bir gerçeği kanıtlamasına izin veren matematiksel bir yöntemdir. Bu yaklaşım mahremiyeti korumak için çok etkilidir çünkü kanıtlayıcı, kanıtın kendisi hakkında herhangi bir bilgi ifşa etmeden doğrulayıcıya kanıt sağlayabilir.
**Bitcoin, doğal bir gen kombinasyonuna sahip olmak için sıfır bilgi kanıtı ile birleştirilebilir. **Bitcoin, işlemleri kaydetmek için blockchain kullanan merkezi olmayan bir sanal para birimidir ve tüm işlem bilgileri halka açıktır. Ancak bu aynı zamanda Bitcoin işlem bilgilerinin herkes tarafından görüntülenebileceği anlamına gelir, bu nedenle gizlilik sızıntısı riski vardır. Ve sıfır bilgi kanıtı bu sorunu çözebilir.
**Bitcoin kullanıcıları, sıfır bilgi kanıtını kullanarak işlem bilgilerini şifreleyebilir ve bilgileri ifşa etmeden geçerliliğini kanıtlayabilir, böylece daha yüksek düzeyde bir gizlilik koruması elde edebilir. **Sıfır bilgi kanıtları ayrıca Bitcoin'in ölçeklenebilirliğini artırabilir. Şu anda, Bitcoin'in işlem hızı, blok zincirinin boyutu ve büyük ölçekli ticari uygulamalarda kullanımını sınırlayan ağ tıkanıklığı ile sınırlıdır. Bununla birlikte, Bitcoin kullanıcıları, sıfır bilgi kanıtlarını kullanarak, büyük miktarda işlem bilgisini gruplar halinde işleyebilir ve kanıtlarının boyutunu son derece küçük bir boyuta sıkıştırabilir, böylece Bitcoin'in ölçeklenebilirliğini ve verimliliğini artırabilir.
Arka Plan ve Gerekçe
ZK-SNARK'lar ve ZK-STARK'lar
Hem ZK-SNARK'lar hem de ZK-STARK'lar, sıfır bilgi kanıtlarının varyantlarıdır ve ortak noktaları, hassas bilgileri ifşa etmeden belirli verilerin veya işlemlerin geçerliliğini kanıtlamalarıdır. Ancak, uygulama, performans ve uygulama kapsamı bakımından farklılık gösterirler.
ZK-SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge), eliptik eğri kriptografisine dayanan sıfır bilgi kanıtı teknolojisidir. Karmaşık bir hesaplama problemini, çok küçük boyutlu ve etkileşim gerektirmeyen basit bir ispata dönüştürebilir. Bu, ZK-SNARK'ların herhangi bir hesaplama bilgisi ifşa etmeden hesaplamaların doğruluğunu doğrulayabileceği anlamına gelir. ZK-SNARK'ların uygulama alanları, temel olarak şifreleme para birimini ve gizlilik korumasını içerir.
ZK-STARK'lar (Zero-Knowledge Scalable Transparent Argument of Knowledge), ZK-SNARK'lardan daha esnek ve güvenli olan yeni bir sıfır bilgi kanıtlama teknolojisi türüdür. ZK-STARK'ların uygulanması, eliptik eğri kriptografisine dayanmaz, ancak karma işlevleri ve polinom interpolasyon tekniklerini kullanır. Bu, ZK-STARK'ları daha güvenilir kılar çünkü öngörülemeyen matematiksel bulmacalara güvenmek yerine, hash fonksiyonlarının geri çevrilemezliğine güvenirler. Ek olarak, ZK-STARK'ların ispat boyutu ZK-SNARK'lardan daha büyüktür, ancak ispatı daha doğrulanabilir olduğundan, dağıtılmış bilgi işlem ve Nesnelerin İnterneti güvenliği gibi daha geniş bir alana uygulanabilir.
Bitcoin için sıfır bilgi kanıtı kullanmanın zorlukları
Zcash'i örnek olarak alan Zcash, daha iyi gizlilik koruması elde etmek için işlem tutarı, katılımcı kimliği vb. dahil olmak üzere işlem ayrıntılarını gizlemek için kullanılabilen sıfır bilgi kanıtı teknolojisinde ZK-SNARK'ları kullanır. Zcash, ZK-SNARKS'ın teknik prensibini şu şekilde benimser:
Zcash'te iki tür adres vardır: şeffaf adresler (t-adresi) ve gizli adresler (z-adresi). Şeffaf adresler, blok zincirindeki işlem miktarlarını ve katılımcıları ifşa etmeleri açısından Bitcoin adreslerine benzer. Gizli adresler, işlem tutarlarının ve katılımcıların gizliliğini korumak için sıfır bilgi kanıtları kullanır.
Bir kullanıcı bir gizli adresten diğerine para gönderdiğinde, yeterli paraya sahip olduğuna ve halihazırda harcanmış parayı harcamadığına dair bir ZK-SNARKS kanıtı oluşturması gerekir. Bu süreç, genel parametreler oluşturmak, hash hesaplamak ve aritmetik devreler oluşturmak gibi bazı karmaşık matematiksel ve kriptografik işlemleri içerir.
ZK-SNARKS kanıtlarını oluşturmak, çok fazla bilgi işlem kaynağı ve zaman gerektirir, ancak ZK-SNARKS kanıtlarını doğrulamak çok hızlı ve kolaydır. Doğrulayıcının yalnızca işlemin blok zinciri kurallarına uyup uymadığını kontrol etmesi gerekir ve işlem tutarı veya katılımcılar hakkında hiçbir şey bilmesi gerekmez.
Zcash, ZK-SNARKS kullanarak, tamamen anonim ve doğrulanabilir işlemler gerçekleştirebilir, blok zinciri güvenliğini ve merkezsizleşmeyi korurken kullanıcı gizliliğini ve kullanılabilirliğini geliştirebilir.
Bununla birlikte, Zcash tarafından benimsenen sıfır bilgi kanıtı teknolojisinin de bazı sınırlamaları vardır. Her şeyden önce, Zcash UTXO tabanlıdır, yani işlem bilgileri tamamen maskelenmez, sadece bloke edilir. Bu nedenle saldırganlar, işlem bilgilerinin kalıplarını ve akışlarını analiz ederek bazı yararlı bilgiler çıkarabilir. Bu aynı zamanda Zcash'in gizlilik koruma derecesinin tamamen güvenilir olmamasına yol açar.
İkincisi, Zcash, Bitcoin tabanlı ayrı bir ağdır ve bu da onu diğer uygulamalarla entegre etmeyi zorlaştırır. Bu da daha geniş uygulama olanaklarını sınırlar ve gelişimini daha da engeller. Zcash özel işlemler gerçekleştirse de fiili kullanım oranı yüksek değildir. Bunun nedenlerinden biri, özel işlemlerin maliyetinin, uygulama kapsamını sınırlayan kamu işlemlerine göre çok daha yüksek olmasıdır.
ZK-STARK'ların teknik avantajları
ZK-SNARKs teknolojisinin Bitcoin üzerinde kullanılması gerçekten de işlem anonimliği ve gizlilik koruması sağlayabilir, ancak bu teknolojinin güvenilir ayarlara ve ekipmana duyulan ihtiyaç ve çok sayıda bilgi işlem ve depolama kaynağına duyulan ihtiyaç gibi bazı dezavantajları vardır. Bu sorunları çözmek için ZK-STARK'ın teknolojisi gibi bazı yeni sıfır bilgi kanıtlı teknolojiler de ortaya çıktı.
Basit bir ifadeyle, ZK-STARK'ların süreci aşağıdaki adımları içerir:
Kanıtlayıcı, kanıtlamak istediği hesaplamayı değişkenler olarak gizli bilgiler içeren bir polinom denklem sistemine dönüştürür.
Kanıtlayıcı, daha basit bir denklem sistemi elde etmek için bu denklem sistemi üzerinde bir dizi dönüşüm ve basitleştirme gerçekleştirir.
Kanıtlayıcı, düşük boyutlu bir vektör elde etmek için bu basitleştirilmiş denklem sistemini örnekler ve kodlar.
Prover, kanıtı olarak kısa bir dizi elde etmek için bu vektörü özetler ve imzalar.
Bu dizeyi aldıktan sonra, doğrulayıcı, gizli bilgileri veya orijinal hesaplamayı bilmeden bazı genel parametreler ve algoritmalar aracılığıyla doğru olup olmadığını doğrulayabilir.
ZK-SNARKs teknolojisi ile karşılaştırıldığında, ZK-STARKs teknolojisi aşağıdaki avantajlara sahiptir:
ZK-STARK'ın teknolojisi güvenilir ayarlar gerektirmez, yani belirli bir oluşturucuya güvenilmesi gerekmez, bu da teknolojinin güvenliğini artırır.
ZK-STARK teknolojisi, daha az bilgi işlem ve depolama kaynağı gerektirdiği için hafif cihazlara ve daha geniş uygulama senaryolarına daha iyi uyum sağlayabilir. Bunun nedeni, kanıt oluşturma sürecinin, karmaşık şifreleme ve şifre çözme işlemleri gerektiren ZK-SNARK'lardan daha verimli olmasıdır. Ek olarak, ZK-STARK'ın teknolojisi, paralel bilgi işlem ve dağıtılmış bilgi işlem yeteneklerini daha iyi kullanabilir, böylece bilgi işlem görevleri bazı durumlarda daha verimli bir şekilde işlenebilir.
ZK-STARKs teknolojisi ayrıca, teknoloji genişletme ve yükseltmeler için daha fazla olanak sağlayan, hash fonksiyonları, polinom işlemleri vb. gibi daha fazla algoritmayı ve işlemi destekleyebilir.
### Bitcoin ve ZK-STARK'ların kombinasyonu
EC-STARKs teknolojisi
STARKs teknolojisi, veri gizliliğini korurken veri aktararak üçüncü taraflarla iletişim kurabilen yeni bir kriptografik kanıt teknolojisi türüdür. Bu teknik, zincir dışı hesaplamayı ve doğrulama verilerinin depolanmasını sağlayarak ölçeklenebilirliği artırır. ZK-SNARKs teknolojisi ile karşılaştırıldığında, STARKs teknolojisi daha gelişmiştir ve kuantum bilgisayarlardan gelen saldırılara karşı koyabilir.
EC-STARKs teknolojisi, hash işlevini eliptik eğrilerle değiştirerek Bitcoin'in ölçeklenebilirliğini ve güvenliğini artırmayı amaçlayan yeni nesil STARKs teknolojisidir. Bu teknoloji, Ethereum'da zaten var olan ölçeklenebilirlik çözümlerini Bitcoin ile uyumlu hale getirebilir. EC-STARKs teknolojisini kullanarak, Bitcoin protokolünü zincir dışı çalıştırmak ve kanıtları STARK'larda depolamak mümkündür.
Kısacası Bitcoin, aynı eliptik eğri tuşlarını kullanarak Bitcoin tabanlı belirteçler oluşturmak için oldukça karmaşık protokollere izin vererek STARK'ta öykünebilir. EC-STARKs teknolojisinin kullanımı, kanıtını STARK'ta tutarken, Bitcoin'in zincir dışı protokolünde çalışabilir. Bu yaklaşım yalnızca Bitcoin'in ölçeklenebilirliğini geliştirmekle kalmaz, aynı zamanda Bitcoin üzerinde daha fazla gizlilikle son derece karmaşık protokollerin kurulmasına da izin verir.
Bu teknoloji, Bitcoin'in ölçeklenebilirliğini ve gizliliğini yepyeni bir düzeye taşıyarak Bitcoin'i daha iyi bir platform haline getiriyor. Bu şekilde geliştiriciler, Bitcoin üzerinde daha karmaşık uygulamalar oluşturarak Bitcoin'in kripto para piyasasındaki konumunu daha istikrarlı hale getirebilir.
ZK-STARK'ların Bitcoin'de uygulama olasılığı
ZK-STARK'ların uygulaması da Bitcoin'in muhafazakar tasarım felsefesiyle uyumludur.Güvenilir bir koleksiyon gerektirmez, ancak Bitcoin'in şeffaflığını ve güvenliğini artırmak için karma işlevler, Merkle ağaçları ve polinomlar gibi teknolojiler kullanır. EC-STARKS'ın Bitcoin'e göre bir avantajı, işlemlerin ayrıntılarının ifşa edilmesini gerektirmediği için Bitcoin'in gizliliğini artırabilmesidir. Diğer bir avantajı da, büyük miktarda veriyi küçük bir kanıta sıkıştırabildiğinden, Bitcoin'in depolama gereksinimlerini azaltmasıdır. EC-STARKS'ın Bitcoin üzerindeki zorluklarından biri, karmaşık matematiksel işlemleri gerçekleştirmesi gerektiğinden daha fazla bilgi işlem kaynağı gerektirmesidir. Diğer bir zorluk ise Bitcoin'in mevcut protokolü ve altyapısı ile uyumlu olması gerektiğinden daha fazla koordinasyon ve standardizasyon gerektirmesidir.
Teknik uygulama açısından, ZK-STARK'ların uygulaması hafif düğümler, tam düğümler ve doğrulama yöntemleri olarak ayrılabilir. Hafif düğümler, hızlı senkronizasyon elde etmek için blok başlıklarının durumunu kanıtlamak için sadeliği kullanabilir. Tam düğüm, geçerlilik kanıtını UTXO durumu aracılığıyla gerçekleştirebilir ve UTXO durumunu yeni bir biçimde temsil etmek için utreexo teknolojisini kullanabilir, böylece tüm UTXO durumunu görüntülemeye gerek kalmaz. Doğrulama yöntemleri açısından, gelen blokları doğrulamaya başlamak için yalnızca utreexo root + final durumunu vermeniz gerekir.
Ek olarak, ZK-STARK'ların uygulanması için birçok potansiyel yön vardır. Örneğin, Taro protokolü ile birleştirmek, Bitcoin'i daha genel bir varlık haline getirebilir, bu da Bitcoin'in uygulama senaryolarını daha da genişletir.ZK-STARK'ları TARO ile birleştirerek, TARO protokolünün ölçeklenebilirliği, Daha fazla işlem ve daha büyük ölçekli uygulamalar için destek, TARO protokolünün çok zincirli dağıtımı için kapıyı açacaktır. Ek olarak, Bitcoin'in gizliliği her zaman bir sorun olmuştur ve ZK-STARKs teknolojisinin uygulanması, Bitcoin'in gizliliğini büyük ölçüde geliştirebilir. ZK-STARKs teknolojisi kullanılarak, tüm işlem geçmişi, kullanıcının işlem bilgilerini etkili bir şekilde gizleyerek tek bir işlemde sıkıştırılabilir.
### gelecekteki önemli anlar
Ayrıca ZK-STARK'lar, Bitcoin işlemlerinin serileştirilmesi, çift SHA hesaplamaları, secp256k1 işlemleri vb. dahil olmak üzere Bitcoin işlemlerinin doğrulanması için kullanılabilir. Bu işlemler, Bitcoin işlem doğrulamasının çekirdeğini oluşturur ve ZK-STARK'ların kullanımı, Bitcoin işlemlerinin doğrulama sürecinin son derece güvenli ve güvenilir olmasını sağlayabilir. ZK-STARK'lar, Bitcoin'in hızlandırılmış Kahire yerleşik işlevselliğini doğrulamak için de kullanılabilir. Kahire, Bitcoin'in hızlandırılmış Kahire yerleşik yetenekleriyle birlikte kullanıldığında verimli Bitcoin işlem doğrulaması ve güvenliği sağlayan verimli bir sıfır bilgi kanıtı sistemidir.
ZK-STARK'lar, MS-SMT uygulaması ve doğrulamasının yanı sıra Taro ilkellerini ve varlık TLV serileştirmesini uygulamak için de kullanılabilir. Bu işlemler, Bitcoin işlemlerinin gizliliğini ve güvenliğini etkili bir şekilde koruyabilir ve Bitcoin işlemlerinin güvenilirliğini ve güvenilirliğini daha da artırabilir. Bitcoin işlemleri için ikinci kademe bir çözüm olarak Lightning Network, ZK-STARKs teknolojisini birleştirerek daha verimli ve güvenli Bitcoin işlemleri gerçekleştirebilir. ZK-STARKs teknolojisi kullanılarak Lightning Network üzerindeki Bitcoin işlemleri, işlem gizliliğinden ödün vermeden hızlı bir şekilde doğrulanabilir.
Blockchain altyapısında ve dApp'lerde sıfır bilgi kanıtı teknolojisini benimseyen daha fazla ekip görüyoruz. Bu yeni planlardan bazıları, blok zinciri alanında sıfır bilgi kanıtlarının benimsenmesini hızlandırma ve mahremiyet ile ölçeklenebilirliğe daha iyi bir şekilde yardımcı olma potansiyeline sahip olabilir. Bununla birlikte, çoğu proje Ethereum'a dayalı olarak geliştirilirken, Bitcoin sıfır bilgi kanıtları alanında gereken ilgiden yoksundur. Daha da kötüsü, mühendislik pratiği bir anlamda akademik başarıyı yakalayamamıştır. Bu alanda daha fazla uygulamaya ve araştırmaya ihtiyacımız var ve bu alana daha fazla dikkat ve destek verilmelidir.
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
"ZKP+Bitcoin" ne getirecek?
Gönderen: Bing Ventures
Blockchain altyapısında ve dApp'lerde sıfır bilgi kanıtı teknolojisini benimseyen daha fazla ekip görüyoruz. Bu yeni planlardan bazıları, sıfır bilgi kanıtlarının blok zinciri alanında uygulanmasını hızlandırabilir ve mahremiyet ile ölçeklenebilirliğe daha iyi bir şekilde yardımcı olabilir. Bununla birlikte, çoğu proje Ethereum'a dayalı olarak geliştirilirken, Bitcoin sıfır bilgi kanıtları alanında gereken ilgiden yoksundur.
Önemli Çıkarımlar
Giderek daha fazla ekip, blockchain altyapısında ve dApp'lerde sıfır bilgi kanıtı teknolojisini benimsiyor. Ancak, çoğu proje Ethereum'a dayalı olarak geliştirilir. Bununla birlikte, Bitcoin ve sıfır bilgi ispatları aslında doğal bir kombinasyona sahiptir ve bu alan şu anda gerekli ilgiyi görmemektedir. Sıfır bilgi kanıtı teknolojisi ve Bitcoin'in birleşimi, Bitcoin ağına ne tür bir yetkilendirme getirecek? Bu Bing Ventures blog gönderisinde, bu konuyu teknik ilkeler ve uygulama beklentileri açısından inceleyeceğiz.
Sıfır bilgi kanıtı (ZKP), doğrulayıcıya kanıt hakkında herhangi bir bilgi sağlamadan bir tarafın (kanıtlayıcı olarak adlandırılır) başka bir tarafa (doğrulayıcı olarak adlandırılır) bir gerçeği kanıtlamasına izin veren matematiksel bir yöntemdir. Bu yaklaşım mahremiyeti korumak için çok etkilidir çünkü kanıtlayıcı, kanıtın kendisi hakkında herhangi bir bilgi ifşa etmeden doğrulayıcıya kanıt sağlayabilir.
**Bitcoin, doğal bir gen kombinasyonuna sahip olmak için sıfır bilgi kanıtı ile birleştirilebilir. **Bitcoin, işlemleri kaydetmek için blockchain kullanan merkezi olmayan bir sanal para birimidir ve tüm işlem bilgileri halka açıktır. Ancak bu aynı zamanda Bitcoin işlem bilgilerinin herkes tarafından görüntülenebileceği anlamına gelir, bu nedenle gizlilik sızıntısı riski vardır. Ve sıfır bilgi kanıtı bu sorunu çözebilir.
**Bitcoin kullanıcıları, sıfır bilgi kanıtını kullanarak işlem bilgilerini şifreleyebilir ve bilgileri ifşa etmeden geçerliliğini kanıtlayabilir, böylece daha yüksek düzeyde bir gizlilik koruması elde edebilir. **Sıfır bilgi kanıtları ayrıca Bitcoin'in ölçeklenebilirliğini artırabilir. Şu anda, Bitcoin'in işlem hızı, blok zincirinin boyutu ve büyük ölçekli ticari uygulamalarda kullanımını sınırlayan ağ tıkanıklığı ile sınırlıdır. Bununla birlikte, Bitcoin kullanıcıları, sıfır bilgi kanıtlarını kullanarak, büyük miktarda işlem bilgisini gruplar halinde işleyebilir ve kanıtlarının boyutunu son derece küçük bir boyuta sıkıştırabilir, böylece Bitcoin'in ölçeklenebilirliğini ve verimliliğini artırabilir.
ZK-SNARK'lar ve ZK-STARK'lar
Hem ZK-SNARK'lar hem de ZK-STARK'lar, sıfır bilgi kanıtlarının varyantlarıdır ve ortak noktaları, hassas bilgileri ifşa etmeden belirli verilerin veya işlemlerin geçerliliğini kanıtlamalarıdır. Ancak, uygulama, performans ve uygulama kapsamı bakımından farklılık gösterirler.
ZK-SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge), eliptik eğri kriptografisine dayanan sıfır bilgi kanıtı teknolojisidir. Karmaşık bir hesaplama problemini, çok küçük boyutlu ve etkileşim gerektirmeyen basit bir ispata dönüştürebilir. Bu, ZK-SNARK'ların herhangi bir hesaplama bilgisi ifşa etmeden hesaplamaların doğruluğunu doğrulayabileceği anlamına gelir. ZK-SNARK'ların uygulama alanları, temel olarak şifreleme para birimini ve gizlilik korumasını içerir.
ZK-STARK'lar (Zero-Knowledge Scalable Transparent Argument of Knowledge), ZK-SNARK'lardan daha esnek ve güvenli olan yeni bir sıfır bilgi kanıtlama teknolojisi türüdür. ZK-STARK'ların uygulanması, eliptik eğri kriptografisine dayanmaz, ancak karma işlevleri ve polinom interpolasyon tekniklerini kullanır. Bu, ZK-STARK'ları daha güvenilir kılar çünkü öngörülemeyen matematiksel bulmacalara güvenmek yerine, hash fonksiyonlarının geri çevrilemezliğine güvenirler. Ek olarak, ZK-STARK'ların ispat boyutu ZK-SNARK'lardan daha büyüktür, ancak ispatı daha doğrulanabilir olduğundan, dağıtılmış bilgi işlem ve Nesnelerin İnterneti güvenliği gibi daha geniş bir alana uygulanabilir.
Zcash'i örnek olarak alan Zcash, daha iyi gizlilik koruması elde etmek için işlem tutarı, katılımcı kimliği vb. dahil olmak üzere işlem ayrıntılarını gizlemek için kullanılabilen sıfır bilgi kanıtı teknolojisinde ZK-SNARK'ları kullanır. Zcash, ZK-SNARKS'ın teknik prensibini şu şekilde benimser:
Bununla birlikte, Zcash tarafından benimsenen sıfır bilgi kanıtı teknolojisinin de bazı sınırlamaları vardır. Her şeyden önce, Zcash UTXO tabanlıdır, yani işlem bilgileri tamamen maskelenmez, sadece bloke edilir. Bu nedenle saldırganlar, işlem bilgilerinin kalıplarını ve akışlarını analiz ederek bazı yararlı bilgiler çıkarabilir. Bu aynı zamanda Zcash'in gizlilik koruma derecesinin tamamen güvenilir olmamasına yol açar.
İkincisi, Zcash, Bitcoin tabanlı ayrı bir ağdır ve bu da onu diğer uygulamalarla entegre etmeyi zorlaştırır. Bu da daha geniş uygulama olanaklarını sınırlar ve gelişimini daha da engeller. Zcash özel işlemler gerçekleştirse de fiili kullanım oranı yüksek değildir. Bunun nedenlerinden biri, özel işlemlerin maliyetinin, uygulama kapsamını sınırlayan kamu işlemlerine göre çok daha yüksek olmasıdır.
ZK-SNARKs teknolojisinin Bitcoin üzerinde kullanılması gerçekten de işlem anonimliği ve gizlilik koruması sağlayabilir, ancak bu teknolojinin güvenilir ayarlara ve ekipmana duyulan ihtiyaç ve çok sayıda bilgi işlem ve depolama kaynağına duyulan ihtiyaç gibi bazı dezavantajları vardır. Bu sorunları çözmek için ZK-STARK'ın teknolojisi gibi bazı yeni sıfır bilgi kanıtlı teknolojiler de ortaya çıktı.
Basit bir ifadeyle, ZK-STARK'ların süreci aşağıdaki adımları içerir:
EC-STARKs teknolojisi
STARKs teknolojisi, veri gizliliğini korurken veri aktararak üçüncü taraflarla iletişim kurabilen yeni bir kriptografik kanıt teknolojisi türüdür. Bu teknik, zincir dışı hesaplamayı ve doğrulama verilerinin depolanmasını sağlayarak ölçeklenebilirliği artırır. ZK-SNARKs teknolojisi ile karşılaştırıldığında, STARKs teknolojisi daha gelişmiştir ve kuantum bilgisayarlardan gelen saldırılara karşı koyabilir.
EC-STARKs teknolojisi, hash işlevini eliptik eğrilerle değiştirerek Bitcoin'in ölçeklenebilirliğini ve güvenliğini artırmayı amaçlayan yeni nesil STARKs teknolojisidir. Bu teknoloji, Ethereum'da zaten var olan ölçeklenebilirlik çözümlerini Bitcoin ile uyumlu hale getirebilir. EC-STARKs teknolojisini kullanarak, Bitcoin protokolünü zincir dışı çalıştırmak ve kanıtları STARK'larda depolamak mümkündür.
Kısacası Bitcoin, aynı eliptik eğri tuşlarını kullanarak Bitcoin tabanlı belirteçler oluşturmak için oldukça karmaşık protokollere izin vererek STARK'ta öykünebilir. EC-STARKs teknolojisinin kullanımı, kanıtını STARK'ta tutarken, Bitcoin'in zincir dışı protokolünde çalışabilir. Bu yaklaşım yalnızca Bitcoin'in ölçeklenebilirliğini geliştirmekle kalmaz, aynı zamanda Bitcoin üzerinde daha fazla gizlilikle son derece karmaşık protokollerin kurulmasına da izin verir.
Bu teknoloji, Bitcoin'in ölçeklenebilirliğini ve gizliliğini yepyeni bir düzeye taşıyarak Bitcoin'i daha iyi bir platform haline getiriyor. Bu şekilde geliştiriciler, Bitcoin üzerinde daha karmaşık uygulamalar oluşturarak Bitcoin'in kripto para piyasasındaki konumunu daha istikrarlı hale getirebilir.
ZK-STARK'ların uygulaması da Bitcoin'in muhafazakar tasarım felsefesiyle uyumludur.Güvenilir bir koleksiyon gerektirmez, ancak Bitcoin'in şeffaflığını ve güvenliğini artırmak için karma işlevler, Merkle ağaçları ve polinomlar gibi teknolojiler kullanır. EC-STARKS'ın Bitcoin'e göre bir avantajı, işlemlerin ayrıntılarının ifşa edilmesini gerektirmediği için Bitcoin'in gizliliğini artırabilmesidir. Diğer bir avantajı da, büyük miktarda veriyi küçük bir kanıta sıkıştırabildiğinden, Bitcoin'in depolama gereksinimlerini azaltmasıdır. EC-STARKS'ın Bitcoin üzerindeki zorluklarından biri, karmaşık matematiksel işlemleri gerçekleştirmesi gerektiğinden daha fazla bilgi işlem kaynağı gerektirmesidir. Diğer bir zorluk ise Bitcoin'in mevcut protokolü ve altyapısı ile uyumlu olması gerektiğinden daha fazla koordinasyon ve standardizasyon gerektirmesidir.
Teknik uygulama açısından, ZK-STARK'ların uygulaması hafif düğümler, tam düğümler ve doğrulama yöntemleri olarak ayrılabilir. Hafif düğümler, hızlı senkronizasyon elde etmek için blok başlıklarının durumunu kanıtlamak için sadeliği kullanabilir. Tam düğüm, geçerlilik kanıtını UTXO durumu aracılığıyla gerçekleştirebilir ve UTXO durumunu yeni bir biçimde temsil etmek için utreexo teknolojisini kullanabilir, böylece tüm UTXO durumunu görüntülemeye gerek kalmaz. Doğrulama yöntemleri açısından, gelen blokları doğrulamaya başlamak için yalnızca utreexo root + final durumunu vermeniz gerekir.
Ek olarak, ZK-STARK'ların uygulanması için birçok potansiyel yön vardır. Örneğin, Taro protokolü ile birleştirmek, Bitcoin'i daha genel bir varlık haline getirebilir, bu da Bitcoin'in uygulama senaryolarını daha da genişletir.ZK-STARK'ları TARO ile birleştirerek, TARO protokolünün ölçeklenebilirliği, Daha fazla işlem ve daha büyük ölçekli uygulamalar için destek, TARO protokolünün çok zincirli dağıtımı için kapıyı açacaktır. Ek olarak, Bitcoin'in gizliliği her zaman bir sorun olmuştur ve ZK-STARKs teknolojisinin uygulanması, Bitcoin'in gizliliğini büyük ölçüde geliştirebilir. ZK-STARKs teknolojisi kullanılarak, tüm işlem geçmişi, kullanıcının işlem bilgilerini etkili bir şekilde gizleyerek tek bir işlemde sıkıştırılabilir.
Ayrıca ZK-STARK'lar, Bitcoin işlemlerinin serileştirilmesi, çift SHA hesaplamaları, secp256k1 işlemleri vb. dahil olmak üzere Bitcoin işlemlerinin doğrulanması için kullanılabilir. Bu işlemler, Bitcoin işlem doğrulamasının çekirdeğini oluşturur ve ZK-STARK'ların kullanımı, Bitcoin işlemlerinin doğrulama sürecinin son derece güvenli ve güvenilir olmasını sağlayabilir. ZK-STARK'lar, Bitcoin'in hızlandırılmış Kahire yerleşik işlevselliğini doğrulamak için de kullanılabilir. Kahire, Bitcoin'in hızlandırılmış Kahire yerleşik yetenekleriyle birlikte kullanıldığında verimli Bitcoin işlem doğrulaması ve güvenliği sağlayan verimli bir sıfır bilgi kanıtı sistemidir.
Blockchain altyapısında ve dApp'lerde sıfır bilgi kanıtı teknolojisini benimseyen daha fazla ekip görüyoruz. Bu yeni planlardan bazıları, blok zinciri alanında sıfır bilgi kanıtlarının benimsenmesini hızlandırma ve mahremiyet ile ölçeklenebilirliğe daha iyi bir şekilde yardımcı olma potansiyeline sahip olabilir. Bununla birlikte, çoğu proje Ethereum'a dayalı olarak geliştirilirken, Bitcoin sıfır bilgi kanıtları alanında gereken ilgiden yoksundur. Daha da kötüsü, mühendislik pratiği bir anlamda akademik başarıyı yakalayamamıştır. Bu alanda daha fazla uygulamaya ve araştırmaya ihtiyacımız var ve bu alana daha fazla dikkat ve destek verilmelidir.