ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-29 01:25:18 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'testnet2' of https://github.com/AleoHQ/leo into migrate-leo-errors

Browse Source
This commit is contained in:
collin 2022-01-26 12:06:32 -08:00
commit b8ea6726c8
52 changed files with 128 additions and 364 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/wasm.yml vendored
View File

@ -1,4 +1,4 @@
name: WASM
name: WASM
on:
pull_request:
push:

0
compiler/src/prelude/blake2s.rs → compiler/src/deprecated/blake2s.rs
View File

29
compiler/src/expression/expression.rs
View File

@ -179,27 +179,18 @@ impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {
// Functions
Expression::Call(CallExpression {
// function,
// target,
// arguments,
function,
target,
arguments,
..
}) => {
unimplemented!("core circuits are not supported yet")
// if let Some(circuit) = function.get().circuit.get() {
// let core_mapping = circuit.core_mapping.borrow();
// if let Some(core_mapping) = core_mapping.as_deref() {
// let core_circuit = resolve_core_circuit::<F, G>(core_mapping);
// return self.enforce_core_circuit_call_expression(
// cs,
// &core_circuit,
// function.get(),
// target.get(),
// &arguments[..],
// span,
// );
// }
// }
// self.enforce_function_call_expression(cs, function.get(), target.get(), &arguments[..], span)
if let Some(circuit) = function.get().circuit.get() {
let core_mapping = circuit.core_mapping.borrow();
if let Some(core_mapping) = core_mapping.as_deref() {
unimplemented!("core circuits are not supported yet {}", core_mapping)
}
}
self.enforce_function_call_expression(cs, function.get(), target.get(), &arguments[..], span)
}
}
}

3
compiler/src/prelude/mod.rs
View File

@ -14,9 +14,6 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// pub mod blake2s;
// pub use blake2s::*;
use crate::{ConstrainedValue, GroupType};
use leo_asg::Function;
use leo_errors::{Result, Span};

5
stdlib/README.md
View File

@ -26,4 +26,7 @@ function main() {
The above type alias is auto imported from `stdlib/prelude/string.leo`.
The other directories must have explicit imports. For example, the unstable Blake2s can be imported with `import std.unstable.blake2s.Blake2s`. Which imports the `Blake2s` circuit defined in `stdlib/unstable/blake2s.leo`.
The other directories must have explicit imports.
[//]: # (For example, the unstable Blake2s can be imported with `import std.unstable.blake2s.Blake2s`. Which imports the `Blake2s` circuit defined in `stdlib/unstable/blake2s.leo`.)

2
tests/compiler/address/equal.leo
View File

@ -7,7 +7,7 @@ input_file:
*/
function main(x: address) -> bool {
const sender = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
const sender = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9;
return x == sender;
}

2
tests/compiler/address/inputs/address1.in
View File

@ -1,5 +1,5 @@
[main]
x: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
x: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9;
[registers]
a: bool = false;

2
tests/compiler/address/inputs/address2.in
View File

@ -1,5 +1,5 @@
[main]
x: address = aleo18qgam03qe483tdrcc3fkqwpp38ehff4a2xma6lu7hams6lfpgcpq3dq05r;
x: address = aleo18qgam03qe483tdrcc3fkqwpp38ehff4a2xma6lu7hams6lfpgcpqy3sr3p;
[registers]
a: bool = false;

2
tests/compiler/address/inputs/branch.in
View File

@ -1,5 +1,5 @@
[main]
x: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
x: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9;
y: bool = true;
[registers]

4
tests/compiler/address/ternary.leo
View File

@ -7,8 +7,8 @@ input_file:
*/
function main(x: address) -> bool {
const sender = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
const receiver = aleo18qgam03qe483tdrcc3fkqwpp38ehff4a2xma6lu7hams6lfpgcpq3dq05r;
const sender = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9;
const receiver = aleo18qgam03qe483tdrcc3fkqwpp38ehff4a2xma6lu7hams6lfpgcpqy3sr3p;
return x == sender ? receiver == x : sender == x;
}

17
tests/compiler/definition/out_of_order_with_import.leo
View File

@ -1,17 +0,0 @@
/*
namespace: Compile
expectation: Pass
input_file: input/dummy.in
*/
@test
function fake_test() {}
function main(y: bool) -> bool {
return y == true;
}
// use std import to test import order
import std.unstable.blake2s.Blake2s;
circuit Foo {}

2
tests/compiler/input_files/program_input_and_program_state/input/token_withdraw.state
View File

@ -9,7 +9,7 @@ root: [u8; 32] = [0u8; 32];
[record]
serial_number: [u8; 32] = [0u8; 32];
commitment: [u8; 32] = [0u8; 32];
owner: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
owner: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9;
value: u64 = 5;
payload: [u8; 32] = [0u8; 32];
birth_program_id: [u8; 32] = [0u8; 32];

2
tests/compiler/input_files/program_state/access_all.leo
View File

@ -6,7 +6,7 @@ input_file: input/dummy.in
*/
function main() -> bool {
const expected: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
const expected: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9;
return input.state.root == [0u8; 32]
&& input.state_leaf.network_id == 0u8;

2
tests/compiler/input_files/program_state/input/token_withdraw.state
View File

@ -9,7 +9,7 @@ root: [u8; 32] = [0u8; 32];
[record]
serial_number: [u8; 32] = [0u8; 32];
commitment: [u8; 32] = [0u8; 32];
owner: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
owner: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9;
value: u64 = 5;
payload: [u8; 32] = [0u8; 32];
birth_program_id: [u8; 32] = [0u8; 32];

10
tests/compiler/stdlib/blake2s.leo
View File

@ -1,10 +0,0 @@
// namespace: Compile
// expectation: Fail
// input_files:
// - input/dummy.in
import std.unstable.blake2s.BadCircuit; // `BadCircuit` is not included in the blake2s package
function main() -> bool {
return false;
}

8
tests/compiler/stdlib/core_circuit_invalid.leo
View File

@ -1,8 +0,0 @@
/*
namespace: Compile
expectation: Fail
*/
import std.unstable.blake2s.BadCircuit; // `BadCircuit` is not included in the blake2s package
function main() {}

9
tests/compiler/stdlib/packages/unstable/_blake2s/arguments_length_fail.leo
View File

@ -1,9 +0,0 @@
import core.unstable.blake2s.Blake2s;
function main() {
const seed: [u8; 32] = [0; 32];
const result = Blake2s::hash(seed); // function `hash` takes 2 arguments
console.log("Result: {}", result);
}

10
tests/compiler/stdlib/packages/unstable/_blake2s/arguments_type_fail.leo
View File

@ -1,10 +0,0 @@
import core.unstable.blake2s.Blake2s;
function main() {
const seed: [u8; 32] = [0; 32];
const message: [u16; 32] = [0; 32]; // message should be type [u8; 32]
const result = Blake2s::hash(seed, message);
console.log("Result: {}", result);
}

5
tests/compiler/stdlib/packages/unstable/_blake2s/blake2s_input.leo
View File

@ -1,5 +0,0 @@
import core.unstable.blake2s.Blake2s;
function main(seed: [u8; 32], message: [u8; 32]) -> [u8; 32] {
return Blake2s::hash(seed, message);
}

7
tests/compiler/stdlib/packages/unstable/_blake2s/blake2s_random.leo
View File

@ -1,7 +0,0 @@
import core.unstable.blake2s.Blake2s;
function main(seed: [u8; 32], message: [u8; 32], expected: [u8; 32]) {
const actual = Blake2s::hash(seed, message);
console.assert(expected == actual);
}

6
tests/compiler/stdlib/packages/unstable/_blake2s/inputs/valid_input.in
View File

@ -1,6 +0,0 @@
[main]
seed: [u8; 32] = [0; 32];
message: [u8; 32] = [0; 32];
[registers]
r0: [u8; 32] = [0; 32];

106
tests/compiler/stdlib/packages/unstable/_blake2s/mod.rs
View File

@ -1,106 +0,0 @@
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
// The Leo library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
use crate::{
assert_satisfied,
expect_asg_error,
generate_main_input,
get_output,
parse_program,
parse_program_with_input,
};
use leo_ast::InputValue;
use leo_input::types::{IntegerType, U8Type, UnsignedIntegerType};
use rand::Rng;
use rand_core::SeedableRng;
use rand_xorshift::XorShiftRng;
use snarkvm_algorithms::{prf::blake2s::Blake2s as B2SPRF, traits::PRF};
#[test]
fn test_arguments_length_fail() {
let program_string = include_str!("arguments_length_fail.leo");
let error = parse_program(program_string).err().unwrap();
expect_asg_error(error);
}
#[test]
fn test_arguments_type_fail() {
let program_string = include_str!("arguments_type_fail.leo");
let error = parse_program(program_string).err().unwrap();
expect_asg_error(error);
}
#[test]
fn test_blake2s_input() {
let input_string = include_str!("inputs/valid_input.in");
let program_string = include_str!("blake2s_input.leo");
let expected_string = include_str!("outputs/valid_output.out");
let program = parse_program_with_input(program_string, input_string).unwrap();
let actual_bytes = get_output(program);
let actual_string = std::str::from_utf8(actual_bytes.bytes().as_slice()).unwrap();
assert_eq!(expected_string, actual_string)
}
#[test]
fn test_blake2s_random() {
let mut rng = XorShiftRng::seed_from_u64(1231275789u64);
let mut seed = [0u8; 32];
rng.fill(&mut seed);
let mut message = [0u8; 32];
rng.fill(&mut message);
// Use snarkvm-algorithms blake2s evaluate to get expected value
let expected = B2SPRF::evaluate(&seed, &message).unwrap().to_vec();
// Create program input values for seed, message, and expected values
let seed_input_value = bytes_gadget_to_input(seed.to_vec());
let message_input_value = bytes_gadget_to_input(message.to_vec());
let expected_value = bytes_gadget_to_input(expected);
// The `blake2s_random.leo` program will compute a blake2s hash digest and compare it against
// the expected value
let bytes = include_str!("blake2s_random.leo");
let mut program = parse_program(bytes).unwrap();
let main_input = generate_main_input(vec![
("seed", Some(seed_input_value)),
("message", Some(message_input_value)),
("expected", Some(expected_value)),
]);
// Load input values into Leo program
program.set_main_input(main_input);
assert_satisfied(program);
}
fn bytes_gadget_to_input(bytes: Vec<u8>) -> InputValue {
let u8_type = IntegerType::Unsigned(UnsignedIntegerType::U8Type(U8Type {}));
let bytes = bytes
.into_iter()
.map(|byte| InputValue::Integer(u8_type.clone(), byte.to_string()))
.collect::<Vec<_>>();
InputValue::Array(bytes)
}

2
tests/compiler/stdlib/packages/unstable/_blake2s/outputs/valid_output.out
View File

@ -1,2 +0,0 @@
[registers]
r0: [u8; 32] = [174, 9, 219, 124, 213, 79, 66, 180, 144, 239, 9, 182, 188, 84, 26, 246, 136, 228, 149, 155, 184, 197, 63, 53, 154, 111, 86, 227, 138, 180, 84, 163];

20
tests/compiler/stdlib/unstable_blake2s.leo
View File

@ -1,20 +0,0 @@
// namespace: Compile
// expectation: Pass
// inputs:
// - blake.in: |
// [main]
// message: [u8; 32] = [0; 32];
// [registers]
// r0: [u8; 32] = [0; 32];
import std.unstable.blake2s.Blake2s;
function main(message: [u8; 32]) -> [u8; 32] {
const seed: [u8; 32] = [1; 32];
let result = Blake2s::hash(seed, message);
console.log("Result: {}", result);
return result;
}

8
tests/expectations/compiler/compiler/address/equal.leo.out
View File

@ -22,7 +22,7 @@ outputs:
a:
type: bool
value: "false"
initial_ast: 86c87f7c1bda6448d831106aab9bd29a5cb80082503fc7851aac9289d4c355f2
imports_resolved_ast: 93751be8c7c9e9d42efdb046b34260713dd0c12667577e631a1d320674cc0ed9
canonicalized_ast: 93751be8c7c9e9d42efdb046b34260713dd0c12667577e631a1d320674cc0ed9
type_inferenced_ast: 7f22803c150b89187566309e1581f120d8ba838ce1c3a403a98cd6ad71ba08b4
initial_ast: d30da3fdf0dd78daaa3e9c9205d4b0586e1b7ac260bb7ffd8e2d4987bfa9abaf
imports_resolved_ast: e92ad6367f56037fc168702523540baf869e2c5b089812a08e2e230ba45c40b4
canonicalized_ast: e92ad6367f56037fc168702523540baf869e2c5b089812a08e2e230ba45c40b4
type_inferenced_ast: 3dab0722613f664942053774b68d600d51ebaef77d30e166f707c5ce88749443

8
tests/expectations/compiler/compiler/address/ternary.leo.out
View File

@ -22,7 +22,7 @@ outputs:
a:
type: bool
value: "false"
initial_ast: dd955e706905ed892a0ae72d551f0bdf79711f1cc05c5becf5506e34ad104ead
imports_resolved_ast: 7125a2a8ab864e2d9019bfeed49d6450ba21123387ff5bff5b22bd0d679b7c4f
canonicalized_ast: 7125a2a8ab864e2d9019bfeed49d6450ba21123387ff5bff5b22bd0d679b7c4f
type_inferenced_ast: 35acf899be15516155477b449ea9443c1def435bdd2cb67e27ffa3c6a661465c
initial_ast: 85d3058b1d8ec4612bc789d7ac9bc49ec5d8edce42d3363eefe4de1a3808b44d
imports_resolved_ast: fe38e424a54f4d75e998fd43899428009a99f4f412eae9cd536ce3e22eace228
canonicalized_ast: fe38e424a54f4d75e998fd43899428009a99f4f412eae9cd536ce3e22eace228
type_inferenced_ast: ef12afa598976ebeda5e1c755f3b4f01ce74ecd72a46a8dda8bf7fe53c32a228

10
tests/expectations/compiler/compiler/array_without_size/type_alias.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
num_private_variables: 4
num_constraints: 5
at: e2c343f33b3c986318d821645015951a2f3fb198915bbf602e2c3e58ebfb9c73
bt: 71744948a918814d3008831b4b73101a5cf7346e6ff62d98968eb8b3b91aa343
ct: 94757fb2316d68d18fd26e96a2992b03a8db8d49d802b34201dce6f12518676b
output:
- input_file: input/dummy.in
output:

8
tests/expectations/compiler/compiler/char/circuit.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 6
num_private_variables: 4
num_constraints: 4
at: 2859fe6f24016b5634df2791da7de932e68ec32c73b5b573e0c39e968c7a4e12
bt: 8143508f19c8eee208a7fbbcfb833aeeace6ba0a761e41d028599d2237cc60fa
ct: d0c6feeed1e6b8d5c0e03dc9e25641b7fdc34ad912e2b1488296d4a99ed6cbf5
at: 72e9944e2f10b25f4bd1044183a18e95242d3f008169ebbe2032b2b90a10b538
bt: 0dfacddfe48e86dc68cb29c97752ad6524bcaea20b3aba07252117315c346c07
ct: 7f6747978559a1a191dddd1fb06ba017f4cade269311a06e12843dec58a530fb
output:
- input_file: inputs/ascii.in
output:

10
tests/expectations/compiler/compiler/char/neq.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 6
num_constraints: 3
at: cc1286e0b6fa2e90fb6f0880431a7c1e2cc37a329fae3aff1c13f51036c66f12
bt: 02c492cb6df07172e56cffd0cfd902a8443921e1256a2d907bbabd30bf6b8f6d
ct: a1f8e2b168c0f2f28f0ca3f16ce9b25ba7f7c410cfd68b0912bf19c90b53f2a2
num_private_variables: 4
num_constraints: 4
at: c0cf3dc518339e72fe702ee45ff8d77ccc007a2c7a91c08885236532043284f2
bt: cadc466054742aac2e5ad12031ade45e16b84411bf2a19fabeac72374fa966f3
ct: 6474e67439e74f7b4ad9e348a3103b26a7950df4ed8d13c571bb917061e142d2
output:
- input_file: inputs/ascii.in
output:

8
tests/expectations/compiler/compiler/char/nonprinting.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 36
num_private_variables: 35
num_constraints: 3
at: 25579220a31118007fe071d3083ad5a5503f7dc6bd4d51abf15f1a7778a99c86
bt: 8f5bf097224289e45b78e01a711900a993240585fe13744f9ab71a9c5c4d9111
ct: df019f90846f94966d481bfb6d579bee9c47d281176e210ccd973210afc957a1
at: 2cf8a8d414b04c4782c28eda28755a5030f61cf90645cce3de0e25d0a0ec662a
bt: 4727127f178bb02895a615bf38a4aa3c5cb9d2b076eca15ebe6fea741b48ce98
ct: cae904ba23a045f4438177f10211a50ae29eee49d08211c731aee88353dc0cfb
output:
- input_file: inputs/nonprinting.in
output:

8
tests/expectations/compiler/compiler/char/out.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 6
num_private_variables: 4
num_constraints: 4
at: 2859fe6f24016b5634df2791da7de932e68ec32c73b5b573e0c39e968c7a4e12
bt: 8143508f19c8eee208a7fbbcfb833aeeace6ba0a761e41d028599d2237cc60fa
ct: d0c6feeed1e6b8d5c0e03dc9e25641b7fdc34ad912e2b1488296d4a99ed6cbf5
at: f16b951c655255bc312340c9a2cfcad1358207f9fdb897806e446a97ae0938fc
bt: e40c550e09a5732a365d626ccfffd7ee21fe92c50ac84f338000b8d3e4760a8f
ct: 7f6747978559a1a191dddd1fb06ba017f4cade269311a06e12843dec58a530fb
output:
- input_file: inputs/ascii.in
output:

22
tests/expectations/compiler/compiler/definition/out_of_order_with_import.leo.out
View File

@ -1,22 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: input/dummy.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 0a138834560939331de0f995568c88c6f302f6b6a618b15853a7733f3a27a5fa
imports_resolved_ast: bbe044d26292750336f98faa3d4bc1f7df32d05ecd0d0a091e61ff35bcc2e8c0
canonicalized_ast: 4d2aa13307150ece9e276f7a7e9f7481a2b97a4ef2a15428cc47dab9b8c8542f
type_inferenced_ast: 7af45b2a238bea3f011aacb586db9d75b691ce9e1c9698c054ca7c41cdd0b40e

8
tests/expectations/compiler/compiler/field/field.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 4
num_private_variables: 3
num_constraints: 3
at: cfcc3adf871aef0910034c4c3478746733a9746d44fd678971ee2e1e5e69dffd
bt: 02c492cb6df07172e56cffd0cfd902a8443921e1256a2d907bbabd30bf6b8f6d
ct: a1f8e2b168c0f2f28f0ca3f16ce9b25ba7f7c410cfd68b0912bf19c90b53f2a2
at: 0b86cac5ba812f96b6db4b5ffdd1d8463fdaadd3fc8c3eaad8049aca72850ddf
bt: 96fe80788f9958c843626c6f725ffd743f3ada2504e3bd16be94746921689578
ct: f1ede3ef5da6734d87d6254c41b53dd3e93b4b7a9e9b232f10d9525554fe16c6
output:
- input_file: inputs/fields.in
output:

10
tests/expectations/compiler/compiler/import_dependency/tests/import_dependency_folder.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
num_private_variables: 13
num_constraints: 17
at: cb933482c3e31654992014a6382c2d8c813651daddca53e2ddb30d62b4a7619b
bt: be851053d35028476633a81957d2f12dc4b49a7000c438c9b04708f6424bc27d
ct: d81046dae7b01d28a390bfa9f361de8410e930ce7d7e2eb1e8b5829c70a63606
output:
- input_file: "../input/dummy.in"
output:

10
tests/expectations/compiler/compiler/import_local/import_as.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
num_private_variables: 16
num_constraints: 21
at: 0596e617dbe43b233dda10a1544e765246a50ee01f81bba7264a3377e96d4288
bt: 0193b379508e6b0285f1b2ac1fd13da47be59edfc12649d30b5399fbaa4c6f15
ct: 6fe0be33f676f401130986b9c680508063812ac878a552cfedfdb9c13b1d5657
output:
- input_file: input/dummy.in
output:

10
tests/expectations/compiler/compiler/import_local/import_dir.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
num_private_variables: 16
num_constraints: 21
at: 0596e617dbe43b233dda10a1544e765246a50ee01f81bba7264a3377e96d4288
bt: 0193b379508e6b0285f1b2ac1fd13da47be59edfc12649d30b5399fbaa4c6f15
ct: 6fe0be33f676f401130986b9c680508063812ac878a552cfedfdb9c13b1d5657
output:
- input_file: input/dummy.in
output:

10
tests/expectations/compiler/compiler/import_local/import_files.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
num_private_variables: 16
num_constraints: 21
at: 0596e617dbe43b233dda10a1544e765246a50ee01f81bba7264a3377e96d4288
bt: 0193b379508e6b0285f1b2ac1fd13da47be59edfc12649d30b5399fbaa4c6f15
ct: 6fe0be33f676f401130986b9c680508063812ac878a552cfedfdb9c13b1d5657
output:
- input_file: input/dummy.in
output:

8
tests/expectations/compiler/compiler/input_files/program_input/main_char.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 6
num_private_variables: 5
num_constraints: 5
at: a92e6894c8f239ebb17b299d1e49ef48d0c2a8690c56eb1362550ebeeb16a507
bt: 8f725e0070f28462aac3db98a5282a9ffa8139f0103651a30df68d193419eacd
ct: 6d17d0577f11cb480fd832f84c38611e836e8aa93457407aa17c07c6ef9d3e03
at: 61ed02a885cdcc6ab494fd4d7555ef341d9994042a3411e9f53802c5c227a56c
bt: 67b3d55750ec69d463afdcbd0e0b81b456c1db1e74b7eb440bea6a12cd95ef1c
ct: 710331a54de7f7067941b449874d60273de5adeb5553c02d0961217ae9c96feb
output:
- input_file: input/main_char.in
output:

8
tests/expectations/compiler/compiler/input_files/program_input/main_string.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 26
num_private_variables: 21
num_constraints: 21
at: b4c72e270b0067ca380a70c8cb2632c33b17e7323b3817deb04e5fe72aa99c13
bt: d476126ef8e9588f0ed444a75f025c1c468618ae84829d4d2deb37679e537563
ct: 789b2eca89cbf96799b7c12eaa66df8efcec7fe1c6c8af5e741fe4955c5dee32
at: 663ee8089acfe2db6dd027d9e700658ab895501529aed4bc1397ffcf9a3fca2c
bt: df7548a08c0c4f3105774500a41ea11a5620f93f8a2a0261970a144c70c7bf82
ct: 86ecb87925d55af5887d73723e93e9aab55f9be4135284577f538471be99fd66
output:
- input_file: input/main_string.in
output:

10
tests/expectations/compiler/compiler/input_files/program_input_constants/main_char.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
num_private_variables: 4
num_constraints: 5
at: bcd741045bd0827485e0bda207f770fde24029a6800bd1251a633819577c0469
bt: 6d3a525cf2df60aa6d24cdfc442b4d97ee54b70d2c685ff8d0dc01201f53fab7
ct: 0cbdac23e63505aa9f74483b5fff133d1f9f976417e6370626514df04711d802
output:
- input_file: input/main_char.in
output:

10
tests/expectations/compiler/compiler/input_files/program_input_constants/main_field.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
num_private_variables: 4
num_constraints: 5
at: 992d6f01cfca64e86db6fe2886e91e8f17a4adaf663a344190bfbeda791ee53d
bt: 6d3a525cf2df60aa6d24cdfc442b4d97ee54b70d2c685ff8d0dc01201f53fab7
ct: 0cbdac23e63505aa9f74483b5fff133d1f9f976417e6370626514df04711d802
output:
- input_file: input/main_field.in
output:

10
tests/expectations/compiler/compiler/input_files/program_input_constants/main_string.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
num_private_variables: 16
num_constraints: 21
at: ded17f08426a118004ed923a2b1c14303b54057004642678ad6145f3f80d2766
bt: 0193b379508e6b0285f1b2ac1fd13da47be59edfc12649d30b5399fbaa4c6f15
ct: a04ac0a4e55ea3a20c7b7a21825e6187c8fffd575983a0480931dcd0133cb093
output:
- input_file: input/main_string.in
output:

8
tests/expectations/compiler/compiler/input_files/program_state/access_all.leo.out
View File

@ -16,7 +16,7 @@ outputs:
r0:
type: bool
value: "true"
initial_ast: 6e84f3b233f5e7b09595043093fb5ffabea7a646a8b64437312f1037b1a56f27
imports_resolved_ast: 0be439776bf39f0452baf82acb272a458bf866f0f7a7a18646ff889a036fe312
canonicalized_ast: 0be439776bf39f0452baf82acb272a458bf866f0f7a7a18646ff889a036fe312
type_inferenced_ast: 2a72016db5bb95e48e128cfc48a257346c70baec5e24ed6ed607dd5015a76a38
initial_ast: 8f368a56a1e3e33f68be7c6d269168941e8dcdee297d8972928493fd87f4d4ac
imports_resolved_ast: 474ee615cb97eba8bc03620fdfb4385f72a058ae80aefbb592c911251a7e8a9c
canonicalized_ast: 474ee615cb97eba8bc03620fdfb4385f72a058ae80aefbb592c911251a7e8a9c
type_inferenced_ast: 1139aae30b95a083600b409eb630af4fe2bc681cc91408061aaad8468af49ad6

5
tests/expectations/compiler/compiler/stdlib/core_circuit_invalid.leo.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EASG0373043]: failed to resolve import: 'std.unstable.blake2s'\n --> compiler-test:3:29\n |\n 3 | import std.unstable.blake2s.BadCircuit; // `BadCircuit` is not included in the blake2s package\n | ^^^^^^^^^^"

8
tests/expectations/compiler/compiler/string/circuit.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 141
num_private_variables: 102
num_constraints: 115
at: 145ada587c833434abb89c3349d19e06365fda3eb9b2a227046a78469e3ca313
bt: f2945a3bc1beaee407bb4ec35303115a93a8c68886d97011cd65ec6d899664e8
ct: 10b997b6341b3cf811cb7b0fdb891f91006d41c50e9f9566ff92f92816153dfc
at: 7453b98c12fac4b0d92a42f1e0c9b4dde2389fe55b0f836442e2a3502c32de52
bt: 6a670bff54f76705dfbe30e7c1be7b28f0a974136f26885e1ceb455db16c1946
ct: 291c1bf1dadfbb98cda72317e0fc46a0c83887b8f51684ed83eb16046a753b74
output:
- input_file: inputs/string_out.in
output:

10
tests/expectations/compiler/compiler/string/equality.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 92
num_constraints: 75
at: c03384068dd2b9bd528c65e301960d5c4f61bf94949c9080f28a4bc57f81e856
bt: 7f653d4004b13eee112bbefcf900b0c8201524129423cdda82799c18fdcfb3f7
ct: bce0d8a64cf530613e693412358d17d231ec8516108ab4ee5a47ddf185a471fa
num_private_variables: 100
num_constraints: 111
at: 2bea97f00681ba26a4221c79dbc26d03370d5bc05c1e4ac07c3d883d7ac1a1a6
bt: 0f000679bb7dbf9615c83e27ab044a6a8a1c759cea61976d5790d16e86c0eea8
ct: 2c57adabbad7c0606a524438d632bdf3e71908909d55a3c761b7b1aba765a2a6
output:
- input_file: inputs/string.in
output:

8
tests/expectations/compiler/compiler/string/replace.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 68
num_private_variables: 55
num_constraints: 51
at: 45fa182371664010950da6ec3fa6360de34dda5cb814b3c8bd119a09e86b5c77
bt: 4da3499799890924c2910625e052c6757e7cfd857ebbd18afd3d16b5bd0e9a73
ct: 183c15a7bf0d7c109b082a55e696874797e7ce685096881ce803f6bfa453a875
at: 7ba7304acc66e86feacd1df171eb534932ddf6f90b8a8d473ad06d0f01347ead
bt: bdc20c3f66291f136741364b66408a602e52e7531b1d6471d452d35e9916bb01
ct: 7359ebc98ae471789569ce8733dcdab4c119c1ca5ca0f0bf063b0e984262324c
output:
- input_file: inputs/string.in
output:

10
tests/expectations/compiler/compiler/string/string_transformation.leo.out
View File

@ -4,11 +4,11 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 9
num_constraints: 7
at: 5f4cfa276f9e316a42c9292a4f149fcf3c301a4ca3dc14112b7d59e8ef1e002c
bt: c728f18e4b654023c5189f382573af92682099ed5c7c08e706604e6f1cb7d72d
ct: 74aca434b2a72f7215a0dbe138b708fb2c2857d95dc3bc4776903c90d5f47bb9
num_private_variables: 43
num_constraints: 55
at: d7f6245e2e4353293dcefd52fb12195690a5d8fa9f53a6a7cb795c9f597848a5
bt: 02fcee9bc7a015b4e5928d9190ef46d5b2cc0232a5a86c7a7f5b3ca6e8b5b00a
ct: 40109f1a0eabde6db1fd1d0f22fb417d1384218962d7d0cd88247e5dfdfcc124
output:
- input_file: inputs/two.in
output:

2
tests/expectations/parser/parser/expression/literal/address.leo.out
View File

@ -2,7 +2,7 @@
namespace: Token
expectation: Pass
outputs:
- "'aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8' @ 1:1-64"
- "'aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9' @ 1:1-64"
- "'aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j9' @ 1:1-64"
- "'aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57d9' @ 1:1-64"
- "'aleo1aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8st' @ 1:1-64"

4
tests/expectations/parser/parser/expression/literal/address_parse.leo.out
View File

@ -4,14 +4,14 @@ expectation: Pass
outputs:
- Value:
Address:
- aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8
- aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9
- span:
line_start: 1
line_stop: 1
col_start: 1
col_stop: 64
path: ""
content: aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8
content: aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9
- Value:
Address:
- aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j9

2
tests/parser/expression/literal/address.leo
View File

@ -2,7 +2,7 @@
namespace: Token
expectation: Pass
*/
aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8
aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9
aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j9
aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57d9
aleo1aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8st

2
tests/parser/expression/literal/address_parse.leo
View File

@ -3,7 +3,7 @@ namespace: ParseExpression
expectation: Pass
*/
aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8
aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9
aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j9
aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57d9
aleo1aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8st