 : Introdução  As provas de conhecimento zero permitem transações privadas e seguras. Com zkSNARKs e zkSTARKs, um provador pode provar a posse de algumas informações a um verificador sem revelar os dados reais.  Isso tem um enorme potencial para anonimato e confidencialidade. Mas zkSTARKs e zkSNARKs são complexos. Risc0 os torna mais acessíveis. Vamos ver sua implementação muito básica:   Este tutorial cobrirá:  Instalação do Risc0  Escrevendo seu primeiro programa à prova de conhecimento zero usando ferrugem   Pré-requisitos:  Copiar e colar atalhos  Instalações necessárias:  Linguagem ferrugem  Caixa de carga  Algum conhecimento básico de codificação em ferrugem  Editor de código (VSCODE se possível)  Ao final, você terá experiência prática com provas de conhecimento zero no Risc0. Não é necessário conhecimento avançado em matemática ou criptografia.  Vamos nos concentrar nos fundamentos da codificação para começar a construir soluções do mundo real. Esta introdução prática tem como objetivo tornar a poderosa tecnologia de privacidade compreensível para qualquer desenvolvedor.  :  Instalação  (Para MacOS) Para instalar   você pode executar o comando abaixo no terminal: ferrugem e carga,   curl [https://sh.rustup.rs](https://sh.rustup.rs/) -sSf | sh  Para instalar o Risc0, execute o comando abaixo após a instalação do Rust e reinicie o terminal:   cargo install cargo-risczero  Para que os comandos acima sejam compilados com sucesso, você precisará ter instalado as dependências necessárias.    brew install openssl brew install pkgconf  A seguir, precisaremos instalar o conjunto de ferramentas   com:  risc0 cargo risczero install  Isso é tudo que precisamos. Então, vamos para o editor de código.  Escrevendo algumas linhas mágicas:  Agora que concluímos a instalação, você pode ler e seguir estas etapas do abra kadabra 🪄:  Abra o editor de código e vá até o local onde deseja criar seu projeto no terminal do editor.  Crie uma nova instância do projeto usando o comando abaixo no terminal:   .  cargo risczero new multiply  Você deverá ver uma pasta criada chamada multiplicar. CD nele.  cd multiply  A estrutura de pastas é muito simples.  Temos uma pasta host e uma pasta de métodos.  A pasta host contém o programa host que chamamos de programa convidado. Ele também tem a capacidade de verificar, se desejar.  A pasta de métodos contém o programa convidado que contém a parte do aplicativo zkvm que foi testada. Ele recebe os parâmetros de entrada do host e, com base na lógica, gera resultados, confirma-os no diário e os envia ao host como recibo.  O restante dos arquivos será explicado em qualquer lugar conforme necessário.   Vamos começar com o programa convidado.  Vamos mudar o nome dos arquivos   . main.rs —> multiply.rs  Crie uma pasta chamada   na pasta   e mova   para ela. Sua estrutura de pastas deve ser semelhante a esta: bin src mutiply.rs  Abra   e altere a atualização para   . Cargo.toml name = "method_name” —> name = "multiply”  Adicione o código abaixo em   . Cargo.toml   [[bin]] name = "multiply" path = "src/bin/multiply.rs"  Portanto, seu   final ficará assim: Cargo.toml  Agora,   . Aqui iremos editar a função principal. Esta é a função que será executada no zkvm. multiply.rs  No código abaixo, estamos obtendo a entrada do programa host. Em seguida, garantimos que a entrada não seja um fator trivial, ou seja, 1. Em seguida, calculamos o produto e, finalmente, enviamos-o de volta ao host do programa.  // 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);  Após as alterações acima, seu   deverá ficar assim. multiply.rs  Há mais uma alteração final na pasta   de   . Cargo.toml methods  Abra e atualize o valor de   . name = "multiply-methods”  Seu   final será semelhante ao abaixo. Cargo.toml  Nosso trabalho aqui está concluído.  Agora, vamos para o programa host.  Sua pasta host deve estar assim agora.  Queremos dividir   em dois arquivos que são   e   . main.rs prover.rs verify.rs  Crie uma nova pasta em   e nomeie-a como   . src bin  Remova   . Crie arquivos e nomeie-os como   &   . main.rs verify.rs prove.rs  Sua estrutura de pastas deve ser semelhante a esta agora.  Abra   e vamos começar a codificar: prove.rs  Adicione o código abaixo. Estas são as importações que iremos exigir.   use multiply_methods::MULTIPLY_ELF; // It is a binary file of multiply_method use risc0_zkvm::{ default_prover, serde::{from_slice, to_vec}, ExecutorEnv, };  Vamos fazer alterações na função principal.   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 !!"), }; }  Suas   finais devem ser assim. prove.rs  Vamos abrir e adicionar código ao nosso   . verify.rs  Aqui, importaremos o ID da imagem do programa convidado e algumas importações básicas.   use multiply_methods::MULTIPLY_ID; use risc0_zkvm::Receipt;  Vamos fazer alterações na função principal.   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 !!"), }; }  Seu   final deve ser parecido com isto. verify.rs  Eu prometo que essas são as mudanças finais. Agora, estamos quase terminando.  Abra   na pasta   e faça as alterações abaixo nas dependências. Cargo.toml host   multiply-methods = { path = "../methods" }  Seu Cargo.toml ficará assim.  Finalmente chegou a hora de ver se nosso código funciona.  Abra seu console no diretório raiz do projeto e execute o comando abaixo no  console cargo run --release --bin prove  Este comando irá gerar o comprovante e recibo para o verificador.  Ao executar pela primeira vez, levará muito tempo. Então não se preocupe, pegue um café até terminar.   Feito isso, se desejar, você pode verificar o recibo que gerou. Para isso, execute este comando  cargo run --release --bin verify  Ao executar pela primeira vez, levará muito tempo. Então não se preocupe, pegue um café até terminar.   Parabéns!!! sobre como escrever seu primeiro aplicativo ZK usando Risc0. Se precisar de ajuda, deixe-me um comentário e entrarei em contato com você.

Este áudio é produzido no idioma original da história!

Muito longo; Para ler

Make resilience your competitive advantage

Criando seu primeiro projeto ZK usando Risc0: um guia para iniciantes

About Author

COMENTARIOS

Rótulos

ESTE ARTIGO FOI APRESENTADO EM

Related Stories

Modelo Bitcoin UTXO, alimentando um ecossistema único

Uma breve introdução à teoria do cérebro de Boltzmann

Vazamento do prompt do sistema Claude Sonnet 3.5: uma análise forense

Navegando pelas águas: desenvolvendo aplicações RAG de nível de produção com data lakes

Modelo Bitcoin UTXO, alimentando um ecossistema único

Uma breve introdução à teoria do cérebro de Boltzmann

Vazamento do prompt do sistema Claude Sonnet 3.5: uma análise forense

Navegando pelas águas: desenvolvendo aplicações RAG de nível de produção com data lakes

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps