개념 Aleo | 프로그램

프로그램 - это фундаментальная структура данных для представления Logic приложения и его состояния.

Aleo представляет новый язык программирования под названием Aleo 지침, который позволяет разработчикам писать конфиденциальные веб-прило. Aleo 지침 - это статически типизированный язык программирования для написания безопасных программ, сохраняющих конфиденциальность, на Aleo. Используя доказательства нулевого разглашения, Aleo 지침 обеспечивают вычислительную безопасность для реальных приложений.

Логика 프로그램

Aleo 지침 предлагает разработчикам простую в использовании среду для написания 프로그램. Благодаря разработке языка ассемблера с привычным для разработчиков синтаксисом и композитным функциям, Aleo instructions хорошо подходят для интеграции с существующими фреймворками для разработчиков, чтобы повысить уровень конфиденциальности и целостности веб-приложений.

program token.aleo;

record token:
    // The token owner.
    owner as address.private;
    // The Aleo balance (in gates).
    gates as u64.private;
    // The token balance.
    amount as u64.private;

// The `mint` function initializes a new record with the
// specified number of tokens in `r1` for the receiver in `r0`.
function mint:
    input r0 as address.private;
    input r1 as u64.private;
    cast r0 0u64 r1 into r2 as token.record;
    output r2 as token.record;

// The `transfer` function sends the specified number of tokens
// to the receiver from the provided token record.
function transfer:
    // Input the sender's record.
    input r0 as token.record;
    // Input the token receiver.
    input r1 as address.private;
    // Input the token amount.
    input r2 as u64.private;

    // Checks the given token record has sufficient balance.
    // This `sub` operation is safe, and the proof will fail
    // if an underflow occurs. The output register `r3` holds
    // the change amount to be returned to the sender.
    sub r0.amount r2 into r3;

    // Produces a token record for the specified receiver.
    cast r1 0u64 r2 into r4 as token.record;

    // Produces a token record with the change amount for the sender.
    cast r0.owner r0.gates r3 into r5 as token.record;

    // Output the receiver's record.
    output r4 as token.record;
    // Output the sender's change record.
    output r5 as token.record;

다니예 프로그램

인증 프로그램
Каждая 프로그램 imiет уникальный иdentификатор программы, который хранится в манифесте программы program.json . Этот иdentификатор программы используется для указания программы, которая была запущена при потреблении или производистве зап.

Ввод данных 프로그램
Для запуска 프로그램은 вводные данные предоставляются в орме 프로그램 형식 ввода. Этот ввод, предоставляемый пользователем, является полностью приватным и не раскрывается в публичной сети, если только пользователь не намерен сделать его публичным.

프로그램 작성
Каждая 프로그램 выполняется с учетом состояния программы, предоставленного пользователем на Aleo. Для того чтобы произвести действительный переход состояния на Aleo, пользователь выполняет ряд программ, закодированных в записях, которые составляют транзакцию .

Вывод 프로그램
после того, как пророророрамама vоценена, производится вывод программ ы, а Â Â Â Â 갑골 갑새터 초비고 Â 갑갑니다.