 : giriiş  Sıfır bilgi kanıtları özel, güvenli işlemlere olanak tanır. zkSNARK'lar ve zkSTARK'lar sayesinde kanıtlayıcı, gerçek verileri açıklamadan bazı bilgilerin sahibi olduğunu doğrulayıcıya kanıtlayabilir.  Bu, anonimlik ve gizlilik açısından büyük bir potansiyele sahiptir. Ancak zkSTARK'lar ve zkSNARK'lar karmaşıktır. Risc0 bunları daha erişilebilir hale getirir. Bakalım bunun çok basit bir uygulaması var:   Bu eğitim şunları kapsayacaktır:  Risc0 Kurulumu  Pas kullanarak ilk sıfır bilgi kanıtlama programınızı yazma   Önkoşullar:  Kısayolları kopyalayıp yapıştırma  Gerekli kurulumlar:  Pas dili  Kargo sandığı  Rustikte bazı temel kodlama bilgileri  Kod Düzenleyici (mümkünse VSCODE)  Sonunda, Risc0'da sıfır bilgi kanıtlarıyla ilgili pratik deneyime sahip olacaksınız. İleri düzey matematik veya kriptografi geçmişi gerekmez.  Gerçek dünya çözümleri oluşturmaya başlamak için kodlamanın temellerine odaklanacağız. Bu uygulamalı giriş, güçlü gizlilik teknolojisini tüm geliştiriciler için anlaşılır kılmayı amaçlamaktadır.  :  Kurulum  (MacOS için)   kurulumu için terminalde aşağıdaki komutu çalıştırabilirsiniz: Pas ve kargo   curl [https://sh.rustup.rs](https://sh.rustup.rs/) -sSf | sh  Risc0'ı kurmak için Rust kurulumundan sonra aşağıdaki komutu çalıştırıp terminali yeniden başlatmalısınız:   cargo install cargo-risczero  Yukarıdaki komutların başarılı bir şekilde oluşturulabilmesi için gerekli bağımlılıkları kurmuş olmanız gerekir.    brew install openssl brew install pkgconf  Daha sonra,   araç zincirini şununla kurmamız gerekecek:  risc0 cargo risczero install  İhtiyacımız olan tek şey bu. O halde kod düzenleyiciye geçelim.  Bazı Sihirli Çizgiler Yazmak:  Artık kurulumu tamamladığımıza göre şu abra kadabra 🪄 adımlarını okuyup takip edebilirsiniz:  Kod düzenleyiciyi açın ve düzenleyicinin terminalinde projenizi oluşturmak istediğiniz konuma gidin.  Terminalde aşağıdaki komutu kullanarak projenin yeni bir örneğini oluşturun:   .  cargo risczero new multiply  Çarpma adı verilen oluşturulmuş bir klasör görüyor olmalısınız. içine cd.  cd multiply  Klasör yapısı çok basittir.  Bir ana bilgisayar klasörümüz ve bir yöntem klasörümüz var.  Host klasörü, misafir program dediğimiz host programını içerir. Ayrıca isterseniz doğrulama özelliğine de sahiptir.  Yöntemler klasörü, zkvm uygulamasının kanıtlanmış bölümünü içeren konuk programını içerir. Ana bilgisayardan giriş parametrelerini alır, ardından mantığa dayalı olarak sonuçlar üretir, bunları günlüğe kaydeder ve bunları bir makbuz olarak ana bilgisayara gönderir.  Dosyaların geri kalanı gerektiği gibi hareket halindeyken açıklanacaktır.   Konuk programıyla başlayalım.    dosyalarının adını değiştirelim. main.rs —> multiply.rs    klasöründe   adında bir klasör oluşturun ve   dosyasını bu klasöre taşıyın. Klasör yapınız şöyle görünmelidir: src bin mutiply.rs    açın ve güncellemeyi   olarak değiştirin. Cargo.toml name = "method_name” —> name = "multiply”    dosyasına aşağıdaki kodu ekleyin. Cargo.toml   [[bin]] name = "multiply" path = "src/bin/multiply.rs"  Yani son   dosyanız şöyle görünecek: Cargo.toml  Şimdi,   dosyasını açın. Burada ana fonksiyonu düzenleyeceğiz. Bu, zkvm'de yürütülecek işlevdir. multiply.rs  Aşağıdaki kodda host programından girdi alıyoruz. Daha sonra girdinin 1 gibi önemsiz faktörler olmadığından emin oluyoruz. Daha sonra ürünü hesaplıyoruz ve son olarak programın ana bilgisayarına geri gönderiyoruz.  // We will get the values for these variables from host program let a:u64 = env::read(); let b:u64 = env::read(); // To avoid trivial factors like multiplication by 1 if a == 1 || b == 1 { panic!("Trivial factors !!") // The panic! macro in Rust is used to intentionally crash a program when an unrecoverable error occurs } // Caculate the product of the two numbers let product = a.checked_mul(b).expect("Integer Overflow"); // Commit back the output to the host to save it as receipt env::commit(&product);  Yukarıdaki değişikliklerden sonra   dosyanız şu şekilde görünmelidir. multiply.rs      klasöründe son bir değişiklik daha var. Cargo.toml methods    değerini açın ve güncelleyin. name = "multiply-methods”  Son   dosyanız aşağıdaki gibi görünecektir. Cargo.toml  Buradaki çalışmalarımız tamamlandı.  Şimdi host programına geçelim.  Ana bilgisayar klasörünüz artık bu şekilde görünüyor olmalı.      ve   olmak üzere iki dosyaya bölmek istiyoruz. main.rs prover.rs verify.rs    altında yeni bir klasör oluşturun ve onu   olarak adlandırın. src bin    kaldırın. Dosyalar oluşturun ve bunları   ve   olarak adlandırın. main.rs verify.rs prove.rs  Klasör yapınız artık buna benzer bir şeye benzemelidir.    dosyasını açın ve kodlamaya başlayalım: prove.rs  Aşağıdaki kodu ekleyin. Bunlar ihtiyacımız olan ithalatlar.   use multiply_methods::MULTIPLY_ELF; // It is a binary file of multiply_method use risc0_zkvm::{ default_prover, serde::{from_slice, to_vec}, ExecutorEnv, };  Ana fonksiyonda değişiklikler yapalım.   fn main() { // Declaring our secret input params let a: u64 = 17; let b: u64 = 23; // First, we construct an executor environment let env = ExecutorEnv::builder() .add_input(&to_vec(&a).unwrap()) // Passing the input params to environment so it can be used by gues proggram .add_input(&to_vec(&b).unwrap()) .build() .unwrap(); // Obtain the default prover. let prover = default_prover(); // Produce a receipt by proving the specified ELF binary. let receipt = prover.prove_elf(env, MULTIPLY_ELF).unwrap(); // Extract journal of receipt (ie output c, where c = a * b) let c: u64 = from_slice(&receipt.journal).unwrap(); // Print an assertion println!("Hello, world! I know the factors of {}, and I can prove it!", c); // Let's serialize the receipt so we can save it to an file for verifier program to verify. let serialized = bincode::serialize(&receipt).unwrap(); // Writing the serialized contect to receipt.bin file let _saved_file = match std::fs::write("./receipt.bin", serialized){ Ok(()) => println!("Receipt saved and serialized as receipt.bin"), Err(_) => println!("Something went wrong !!"), }; }  Son   şu şekilde görünmelidir. prove.rs    dosyamızı açıp kod ekleyelim. verify.rs  Burada misafir programı resim kimliğini ve bazı temel içe aktarmaları içe aktaracağız.   use multiply_methods::MULTIPLY_ID; use risc0_zkvm::Receipt;  Ana fonksiyonda değişiklikler yapalım.   fn main(){ // Let's impor the receipt that was generated by prove let receipt_path ="./receipt.bin".to_string(); let receipt_file = std::fs::read(receipt_path).unwrap(); // As we has serialized the receipt we need to desrialize it let receipt = bincode::deserialize::<Receipt>(&receipt_file).unwrap(); // Let's verify if the receipt that was generated was not created tampered with let _verification = match receipt.verify(MULTIPLY_ID){ Ok(()) => println!("Proof is Valid"), Err(_) => println!("Something went wrong !!"), }; }  Son   buna benzer bir şeye benzemelidir. verify.rs  Söz veriyorum bunlar son değişiklikler. Artık neredeyse işimiz bitti.    klasörde   dosyasını açın ve bağımlılıklar altında aşağıdaki değişiklikleri yapın. host Cargo.toml   multiply-methods = { path = "../methods" }  Cargo.toml dosyanız şu şekilde görünecek.  Sonunda kodumuzun çalışıp çalışmadığını görmenin zamanı geldi.  Konsolunuzu projenin kök dizininde çalıştırın ve   aşağıdaki komutu çalıştırın. console cargo run --release --bin prove  Bu komut, doğrulayıcı için kanıt ve makbuz oluşturacaktır.  İlk kez çalıştırdığınızda çok zaman alacaktır. O yüzden endişelenmeyin, tamamlanana kadar bir kahve alın.   Bu işlem tamamlandıktan sonra isterseniz oluşturduğunuz makbuzu doğrulayabilirsiniz. Bunun için bu   çalıştırın. cargo run --release --bin verify  İlk kez çalıştırdığınızda çok zaman alacaktır. O yüzden endişelenmeyin, tamamlanana kadar bir kahve alın.   Tebrikler !!! Risc0'ı kullanarak ilk ZK uygulamanızı yazma hakkında. Yardıma ihtiyacınız olursa lütfen bana yorum bırakın, size geri döneceğim.

Bu ses hikayenin orijinal dilinde üretilmiştir!

Risc0 Kullanarak İlk ZK Projenizi Oluşturma: Yeni Başlayanlar İçin Bir Kılavuz

About Author

YORUMLAR

ETİKETLERİ ASIN

BU YAZI

Related Stories

Claude Sonnet 3.5 Sistem Bilgi Sızıntısı: Adli Analiz

Telegram: Kripto Adası'nın anakaraya olan köprüsü

Benzersiz Bir Ekosistemi Güçlendiren Bitcoin UTXO Modeli

Kripto Büyümesi: Etkili Kullanıcı Kişilikleri Oluşturma

Claude Sonnet 3.5 Sistem Bilgi Sızıntısı: Adli Analiz

Telegram: Kripto Adası'nın anakaraya olan köprüsü

Benzersiz Bir Ekosistemi Güçlendiren Bitcoin UTXO Modeli

Kripto Büyümesi: Etkili Kullanıcı Kişilikleri Oluşturma

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps