Binance Square'de StarkWare verifies first zero-knowledge proof on Bitcoin

Cointelegraph · 2024-07-17T17:11:26.000Z

StarkWare has achieved a historic milestone by successfully verifying its first zero-knowledge (ZK) proof using its new STARK verifier on the Bitcoin Signet network. The development follows three months of firm exploration of the possibilities of OP_CAT, the technical proposal aimed at expanding the capabilities of the Bitcoin blockchain. The verifier lays the foundation for developing ZK-based layer-2 (L2) solutions to improve BTC scalability and push forward toward global payment opportunities. Related: Starknet staking will hit mainnet in Q4 — EthCC OP_CAT proposal The OP_CAT proposal introduces smart contract functionality to the BTC network, and while still undergoing the approval process, it is currently available on the testnet, BTC Signet. StarkWare’s ZK verifier is the first large-scale practical application of the proposal’s opcode on testnet. Its successful implementation on the BTC Signet network carries several implications. Speaking with Cointelegraph, Weikeng Chen, research partner at L2 Iterative and contributor, explained that the ZK verifier “is something that [has] never been done before.” “Many building blocks are needed, but [the] Bitcoin community has never built any of these building blocks before.” Related: New open-source ZK-proof slashes SQL query times Proof of Concept and accessibilit The proof-of-concept for the STARK verifier involved solving a mathematical problem, verifying the 32nd number in the Fibonacci squared sequence. According to Chen, the process took “tremendous effort” and a “significant amount of time.” With no information on ZK-proof use on Bitcoin, the team “started with nothing.” Chen told Cointelegraph that it took the team “several months to write the building blocks from the very beginning.” “We are basically the only team that actually implements the ZK verifier in Bitcoin. As we can confirm from different parties that we know, this is the first time that a ZK-proof has been verified.” Unlike other BTC scaling solutions that rely on fraud proofs or liveness, it is the first STARK-based solution publicly available to developers, with the code accessible on GitHub. Related: StarkWare launches $1M research fund for ZK Bitcoin scaling Starknet staking to hit mainnet in Q4 On July 10, at EthCC, Eli Ben-Sasson, the CEO of StarkWare, announced the company’s plans to introduce staking to Starknet by the end of 2024. Proposed through a Starknet improvement proposal (SNIP), the community approval would lead to new staking features that allow stakers to “gradually receive more responsibilities.” Approval of the SNIP would allow users to become stakers provided they hold the minimum staking amount or delegate their holdings to an existing staker. Magazine: Crypto-Sec: Evolve Bank suffers data breach, Turbo Toad enthusiast loses $3.6K

StarkWare, Bitcoin Signet ağındaki yeni STARK doğrulayıcısını kullanarak ilk sıfır bilgi (ZK) kanıtını başarıyla doğrulayarak tarihi bir dönüm noktasına ulaştı.
Bu gelişme, Bitcoin blok zincirinin yeteneklerini genişletmeyi amaçlayan teknik teklif olan OP_CAT'in olanaklarının üç ay boyunca sıkı bir şekilde araştırılmasının ardından geldi.
Doğrulayıcı, BTC ölçeklenebilirliğini geliştirmek ve küresel ödeme fırsatlarına doğru ilerlemek için ZK tabanlı katman 2 (L2) çözümlerinin geliştirilmesinin temelini atıyor.
İlgili: Starknet stake etme 4. çeyrekte ana ağa ulaşacak — EthCC
OP_CAT teklifi
OP_CAT teklifi, BTC ağına akıllı sözleşme işlevselliği getiriyor ve onay süreci devam ederken şu anda test ağı BTC Signet'te mevcut.
StarkWare'in ZK doğrulayıcısı, teklifin işlem kodunun test ağında ilk büyük ölçekli pratik uygulamasıdır. BTC Signet ağında başarılı bir şekilde uygulanmasının çeşitli sonuçları vardır.
Cointelegraph'a konuşan L2 Iterative'in araştırma ortağı ve katılımcı Weikeng Chen, ZK doğrulayıcının "daha önce hiç yapılmamış bir şey olduğunu" açıkladı.
"Birçok yapı taşına ihtiyaç var, ancak Bitcoin topluluğu daha önce bu yapı taşlarından hiçbirini inşa etmedi."
İlgili: Yeni açık kaynaklı ZK geçirmez, SQL sorgu sürelerini kısaltır
Kavram Kanıtı ve erişilebilirlik
STARK doğrulayıcının kavram kanıtlaması, Fibonacci kare dizisindeki 32. sayının doğrulanmasıyla bir matematik probleminin çözülmesini içeriyordu.
Chen'e göre süreç "muazzam çaba" ve "önemli miktarda zaman" aldı. Bitcoin'de ZK geçirmez kullanıma ilişkin hiçbir bilgi bulunmayan ekip "hiçbir şeyle başlamadı."
Chen, Cointelegraph'a ekibin "yapı taşlarını en başından itibaren yazmanın birkaç ay sürdüğünü" söyledi.
“Temel olarak Bitcoin'de ZK doğrulayıcıyı uygulayan tek ekibiz. Bildiğimiz farklı taraflardan da teyit edebileceğimiz gibi bu, ZK kanıtının doğrulandığı ilk sefer.”
Dolandırıcılık kanıtlarına veya canlılığa dayanan diğer BTC ölçeklendirme çözümlerinin aksine, GitHub üzerinden erişilebilen koduyla, geliştiricilerin kullanımına açık ilk STARK tabanlı çözümdür.
İlgili: StarkWare, ZK Bitcoin ölçeklendirmesi için 1 milyon dolarlık araştırma fonu başlattı
Starknet staking'i dördüncü çeyrekte ana ağa ulaşacak
10 Temmuz'da EthCC'de StarkWare CEO'su Eli Ben-Sasson, şirketin 2024 yılı sonuna kadar Staking'i Starknet'e tanıtma planlarını duyurdu.
Starknet iyileştirme teklifi (SNIP) aracılığıyla önerilen topluluk onayı, stake edenlerin "kademeli olarak daha fazla sorumluluk almasına" olanak tanıyan yeni stake etme özelliklerine yol açacak.
SNIP'in onaylanması, kullanıcıların minimum stake miktarına sahip olmaları veya varlıklarını mevcut bir staker'a devretmeleri koşuluyla staker olmalarına olanak tanıyacaktır.
Dergi: Crypto-Sec: Evolve Bank veri ihlaline maruz kaldı, Turbo Toad meraklısı 3,6 bin dolar kaybetti

İçerik Üreticisinden Daha Fazla İçerik Keşfedin

En Son Haberler

İçerik Üreticisinden Daha Fazla İçerik Keşfedin

En Son Haberler

Öne Çıkan Makaleler