Glossary
Aleo
Ein Privacy-first-Layer-1, bei dem jede Transaktion ein Client-seitig erzeugter Zero-Knowledge-Beweis ist, mit eigener DSL (Leo) für private Smart Contracts.
Aleo ist ein Layer-1, der um private programmierbare Berechnung herum entworfen ist. Jede Transaktion ist ein SNARK-Beweis, der lokal auf dem Gerät des Nutzers erzeugt wird; die Chain sieht und verifiziert nur Beweise, niemals die zugrunde liegenden Eingaben oder den Contract-State.
Entwickler schreiben Verträge in Leo, einer Rust-angelehnten DSL, die zu Circuit-Form kompiliert. Aleo liefert native ALEO-Token- Ausgabe, PoSW-Konsens und einen dezentralen Prover-Marktplatz. Der Trade-off: Vollständig private Ausführung hat reale Performance-Kosten — Proving ist im Vergleich zu einer öffentlichen VM langsam.