• 🏡 Home
  • 🚨 GDPR Compliant
  • ⚡️ Data Science
  • 📌 Machine Learning
  • 🔒 Privacy Preserving
  • 🏡 Home
  • 🚨 GDPR Compliant
  • ⚡️ Data Science
  • 📌 Machine Learning
  • 🔒 Privacy Preserving
machine-learning

Aleo Studio: un IDE per Zero-Knowledge Proofs Applications

Aleo Studio: un IDE per Zero-Knowledge Proofs Applications

Aleo Studio si propone come il primo Integrated Development Environment (IDE) al mondo per lo sviluppo di applicazioni private basate sulle Zero-Knowledge Proofs.

Io direi che abbiamo diversi concetti da sviscerare!

Ho appena aperto il loro sito, dato una rapidissima lettura tra le varie sezioni e capito che valesse la pena dedicarci qualche ora e comprendere meglio di che si tratti.

Per cui, ho scaricato il software per macOS e deciso di scrivere un articolo esplorativo, simile ai nostri Log. (i.e. Blogpost in cui ti mostro i retroscena della risoluzione di un problema, step by step, esattamente come li vivo io, con tanto di semi flussi di coscenza)

Questa volta però analizziamo Aleo Studio.

Cos’è Aleo

Aleo è due cose.

  1. Un’infrastruttura per lo sviluppo di applicazioni.
  2. Una rete per il rilascio delle applicazioni

Per creare all’atto pratico gli applicativi, entra però in gioco il prodotto di Aleo: Aleo Studio.

Cos’è Aleo Studio

Aleo Studio è apparentemente un IDE per lo sviluppo di applicazioni private scritte in Leo, un linguaggio creato ad-hoc, e basate sul concetto di Zero-Knowledge Proof.

Una ZKP sinteticamente è un sistema attraverso cui un prover dimostra a un verifier di possedere un’informazione senza rivelare l’informazione stessa.

Un apparente ossimoro che cela un’affascinante tecnologia.

Tornando a noi, Aleo Studio integra l’Aleo Package Manager da cui importare pacchetti sviluppati dalla community per accelerare il processo di sviluppo.

In questo modo possiamo creare applicazioni senza compromessi tra convenienza e privacy, rilasciandole nella rete decentralizzata Aleo.

Moolto interessante.

Sono riusciti a conquistare la mia curiosità. E la tua?

Primi passi con Aleo Studio

Per cui, la creazione automatica del progetto non funziona. Proviamo manualmente a creare un primo file Leo, ed eseguiamo un codice semplice.

Leo, il linguaggio di programmazione per la scrittura delle applicazioni, è staticamente tipizzato, e parrebbe molto simile a Rust.

Contando che persino il linguaggio è in via di sviluppo è lecito aspettarsi un po’ di instabilità generale.

Abbiamo provato ad eseguire una semplice somma e questo è il risultato:

Una decina di file generati per sommare a, e b. Ok!

In pratica, under the hood, ecco quanto è avvenuto:

  1. generazioni chiavi per il trusted setup (due chiavi pubbliche a partire da un parametro segreto)
  2. fetching degli input (cartella input)
  3. generazione delle proofs
  4. verifica delle proofs

Per approfondire il concetto teorico delle Zero Knowledge Proof ti rimando all’articolo di approfondimento sul loro funzionamento.

Per il momento è tutto.

Per aspera, ad astra.

Un caldo abbraccio, Andrea

Written by Andrea Provino - Luglio 1, 2021
Next Post
Previous Post

Una pubblicità che non vedi se usi AdBlock

EXPAND YOUR KNOWLEDGE

  • Blockchain Developer

    Circuito aritmetico

    Novembre 1, 2022
  • machine-learning

    Un nuovo inizio

    Settembre 4, 2021
  • Zero Knwoledge Proof Article Privacy Preserving

    Zero Knowledge Proof: zk-SNARK e zk-STARK | Prova a conoscenza zero

    Luglio 8, 2021
  • oblivious-transfer-spiegazione-italiano-ot-explanation Privacy Preserving

    Oblivious Transfer (OT)

    Luglio 6, 2021
  • Aleo Studio Website Preview machine-learning

    Aleo Studio: un IDE per Zero-Knowledge Proofs Applications

    Luglio 1, 2021
  • privacy-enhancing-technologies-data-machine-learning-data-science Privacy Preserving

    Perché il Privacy Tech è un vantaggio competitivo micidiale

    Giugno 17, 2021
  • bloom-filter-spiegazione-italian Privacy Preserving

    Bloom Filter

    Giugno 3, 2021
  • trusted-execution-environment-tee-data-science-come-fuziona Data Science, Privacy Preserving

    Trusted Execution Environment | Cos’è un TEE?

    Giugno 2, 2021
  • Crypto Custody services machine-learning

    Crypto Custody: Guida alla custodia delle criptomonete

    Maggio 26, 2021
  • deep-q-learning-q-learning-reinforcement-learning machine-learning

    Deep Q-Learning

    Aprile 27, 2021

Quello che Google pensa ti possa piacere

Prodotti che i Cookie dicono potresti trovare interessanti

AI Blog - © 2019-2021 Andrea Provino