From a5b6557460a3ffabc2a976662b9aba733babc9ae Mon Sep 17 00:00:00 2001 From: collin <16715212+collinc97@users.noreply.github.com> Date: Mon, 15 Aug 2022 11:56:17 -0700 Subject: [PATCH] add ped64 ped128 tests --- compiler/core/src/algorithms/pedersen.rs | 4 +-- .../core/algorithms/pedersen128_commit.leo | 34 +++++++++++++++++++ .../core/algorithms/pedersen64_commit.leo | 34 +++++++++++++++++++ 3 files changed, 70 insertions(+), 2 deletions(-) create mode 100644 tests/compiler/core/algorithms/pedersen128_commit.leo create mode 100644 tests/compiler/core/algorithms/pedersen64_commit.leo diff --git a/compiler/core/src/algorithms/pedersen.rs b/compiler/core/src/algorithms/pedersen.rs index 4879149c05..375aae5e7a 100644 --- a/compiler/core/src/algorithms/pedersen.rs +++ b/compiler/core/src/algorithms/pedersen.rs @@ -45,7 +45,7 @@ impl CoreFunction for Pedersen64Commit { } fn return_type() -> Type { - Type::Field + Type::Group } } @@ -77,6 +77,6 @@ impl CoreFunction for Pedersen128Commit { } fn return_type() -> Type { - Type::Field + Type::Group } } diff --git a/tests/compiler/core/algorithms/pedersen128_commit.leo b/tests/compiler/core/algorithms/pedersen128_commit.leo new file mode 100644 index 0000000000..8f4a99d6c1 --- /dev/null +++ b/tests/compiler/core/algorithms/pedersen128_commit.leo @@ -0,0 +1,34 @@ +/* +namespace: Compile +expectation: Pass +input_file: inputs/int64.in +*/ + +@program +function main( + i8_value: i8, + i16_value: i16, + i32_value: i32, + i64_value: i64, + u8_value: u8, + u16_value: u16, + u32_value: u32, + u64_value: u64, +) -> group { + let bool_value: bool = true; + // let string_value: string = "helloworld"; + + // Pedersen64 hash tests + let a: group = Pedersen128::commit(bool_value, 1scalar); + let b: group = Pedersen128::commit(i8_value, 1scalar); + let c: group = Pedersen128::commit(i16_value, 1scalar); + let d: group = Pedersen128::commit(i32_value, 1scalar); + let e: group = Pedersen128::commit(i64_value, 1scalar); + let f: group = Pedersen128::commit(u8_value, 1scalar); + let g: group = Pedersen128::commit(u16_value, 1scalar); + let h: group = Pedersen128::commit(u32_value, 1scalar); + let i: group = Pedersen128::commit(u64_value, 1scalar); + // let j11: group = Pedersen128::commit(string_value, 1scalar); + + return a + i; +} \ No newline at end of file diff --git a/tests/compiler/core/algorithms/pedersen64_commit.leo b/tests/compiler/core/algorithms/pedersen64_commit.leo new file mode 100644 index 0000000000..78d0bbf8c3 --- /dev/null +++ b/tests/compiler/core/algorithms/pedersen64_commit.leo @@ -0,0 +1,34 @@ +/* +namespace: Compile +expectation: Pass +input_file: inputs/int64.in +*/ + +@program +function main( + i8_value: i8, + i16_value: i16, + i32_value: i32, + i64_value: i64, + u8_value: u8, + u16_value: u16, + u32_value: u32, + u64_value: u64, +) -> group { + let bool_value: bool = true; + // let string_value: string = "helloworld"; + + // Pedersen64 hash tests + let a: group = Pedersen64::commit(bool_value, 1scalar); + let b: group = Pedersen64::commit(i8_value, 1scalar); + let c: group = Pedersen64::commit(i16_value, 1scalar); + let d: group = Pedersen64::commit(i32_value, 1scalar); + let e: group = Pedersen64::commit(i64_value, 1scalar); + let f: group = Pedersen64::commit(u8_value, 1scalar); + let g: group = Pedersen64::commit(u16_value, 1scalar); + let h: group = Pedersen64::commit(u32_value, 1scalar); + let i: group = Pedersen64::commit(u64_value, 1scalar); + // let j11: group = Pedersen64::commit(string_value, 1scalar); + + return a + i; +} \ No newline at end of file