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

all tests pass

Browse Source
This commit is contained in:
collin 2020-09-02 11:25:49 -07:00
parent e7091b18ed
commit 8cf5eb8790
5 changed files with 29 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/tests/circuits/pedersen_mock.leo
View File

@ -1,11 +1,11 @@
circuit PedersenHash { circuit PedersenHash {
parameters: u32[512] parameters: [u32; 512]
static function new(parameters: u32[512]) -> Self { static function new(parameters: [u32; 512]) -> Self {
return Self { parameters: parameters } return Self { parameters: parameters }
} }
function hash(bits: bool[512]) -> u32 { function hash(bits: [bool; 512]) -> u32 {
let mut digest: u32 = 0; let mut digest: u32 = 0;
for i in 0..512 { for i in 0..512 {
let base = if bits[i] ? self.parameters[i] : 0u32; let base = if bits[i] ? self.parameters[i] : 0u32;
@ -19,7 +19,7 @@ circuit PedersenHash {
function main() { function main() {
let parameters = [0u32; 512]; let parameters = [0u32; 512];
let pedersen = PedersenHash::new(parameters); let pedersen = PedersenHash::new(parameters);
let input: bool[512] = [true; 512]; let input: [bool; 512] = [true; 512];
let res = pedersen.hash(input); let res = pedersen.hash(input);

2
compiler/tests/input_files/program_input_and_program_state/access.leo
View File

@ -1,4 +1,4 @@
function main(input, data: u8[32]) { function main(input, data: [u8; 32]) {
console.assert(input.registers.value_balance == 0u64); console.assert(input.registers.value_balance == 0u64);
console.assert(input.state.leaf_index == 0u32); console.assert(input.state.leaf_index == 0u32);

4
compiler/tests/input_files/program_input_and_program_state/input/token_withdraw.in
View File

@ -1,6 +1,6 @@
[main] [main]
data: u8[32] = [0u8; 32]; data: [u8; 32] = [0u8; 32];
[registers] [registers]
token_id: u8[32] = [0u8; 32]; token_id: [u8; 32] = [0u8; 32];
value_balance: u64 = 0; value_balance: u64 = 0;

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

@ -2,23 +2,23 @@
[state] [state]
leaf_index: u32 = 0; leaf_index: u32 = 0;
root: u8[32] = [0u8; 32]; root: [u8; 32] = [0u8; 32];
[[private]] [[private]]
[record] [record]
serial_number: u8[32] = [0u8; 32]; serial_number: [u8; 32] = [0u8; 32];
commitment: u8[32] = [0u8; 32]; commitment: [u8; 32] = [0u8; 32];
owner: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8; owner: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
value: u64 = 5; value: u64 = 5;
payload: u8[32] = [0u8; 32]; payload: [u8; 32] = [0u8; 32];
birth_program_id: u8[32] = [0u8; 32]; birth_program_id: [u8; 32] = [0u8; 32];
death_program_id: u8[32] = [0u8; 32]; death_program_id: [u8; 32] = [0u8; 32];
serial_number_nonce: u8[32] = [0u8; 32]; serial_number_nonce: [u8; 32] = [0u8; 32];
commitment_randomness: u8[32] = [0u8; 32]; commitment_randomness: [u8; 32] = [0u8; 32];
[state_leaf] [state_leaf]
path: u8[32][2] = [ [0u8; 32], [0u8; 32] ]; path: [u8; (32, 2)] = [ [0u8; 32], [0u8; 32] ];
memo: u8[32] = [0u8; 32]; memo: [u8; 32] = [0u8; 32];
network_id: u8 = 0; network_id: u8 = 0;
leaf_randomness: u8[32] = [0u8; 32]; leaf_randomness: [u8; 32] = [0u8; 32];

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

@ -2,23 +2,23 @@
[state] [state]
leaf_index: u32 = 0; leaf_index: u32 = 0;
root: u8[32] = [0u8; 32]; root: [u8; 32] = [0u8; 32];
[[private]] [[private]]
[record] [record]
serial_number: u8[32] = [0u8; 32]; serial_number: [u8; 32] = [0u8; 32];
commitment: u8[32] = [0u8; 32]; commitment: [u8; 32] = [0u8; 32];
owner: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8; owner: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
value: u64 = 5; value: u64 = 5;
payload: u8[32] = [0u8; 32]; payload: [u8; 32] = [0u8; 32];
birth_program_id: u8[32] = [0u8; 32]; birth_program_id: [u8; 32] = [0u8; 32];
death_program_id: u8[32] = [0u8; 32]; death_program_id: [u8; 32] = [0u8; 32];
serial_number_nonce: u8[32] = [0u8; 32]; serial_number_nonce: [u8; 32] = [0u8; 32];
commitment_randomness: u8[32] = [0u8; 32]; commitment_randomness: [u8; 32] = [0u8; 32];
[state_leaf] [state_leaf]
path: u8[32][2] = [ [0u8; 32], [0u8; 32] ]; path: [u8; (32, 2)] = [ [0u8; 32], [0u8; 32] ];
memo: u8[32] = [0u8; 32]; memo: [u8; 32] = [0u8; 32];
network_id: u8 = 0; network_id: u8 = 0;
leaf_randomness: u8[32] = [0u8; 32]; leaf_randomness: [u8; 32] = [0u8; 32];