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

Merge pull request #2637 from AleoHQ/deps/snarkvm-0.15.0

Browse Source 
[Dependencies] Update to snarkVM v0.15.2
This commit is contained in:
d0cd 2023-10-07 21:32:57 -04:00 committed by GitHub
commit 3de4c75078
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 254 additions and 201 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

442
Cargo.lock generated
View File

File diff suppressed because it is too large Load Diff

7
Cargo.toml
View File

@ -45,12 +45,11 @@ members = [
]
[workspace.dependencies.snarkvm]
git = "https://github.com/AleoHQ/snarkVM.git"
branch = "testnet3"
version = "0.15.2"
[workspace.dependencies.snarkvm-console]
git = "https://github.com/AleoHQ/snarkVM.git"
branch = "testnet3"
version = "0.15.2"
[lib]
path = "leo/lib.rs"

4
tests/expectations/execution/eq.out
View File

@ -16,10 +16,10 @@ outputs:
results:
main:
- input: "[0u32, 1u32]"
output: "[false]"
output: "SnarkVMError('test.aleo/main' is not satisfied on the given inputs (18459 constraints).)"
- input: "[1u32, 1u32]"
output: "[true]"
- input: "[1u32, 2u32]"
output: "[false]"
output: "SnarkVMError('test.aleo/main' is not satisfied on the given inputs (18459 constraints).)"
- input: "[2u32, 2u32]"
output: "[true]"

2
tests/expectations/execution/primitive_casts.out
View File

@ -16,7 +16,7 @@ outputs:
results:
address_casts:
- input: "[aleo1hjnn8jdxlzzlqjywamdx4hzcxny5gszzm0q5xmnae4ed6qqn2gys4ugtey]"
output: "[aleo1hjnn8jdxlzzlqjywamdx4hzcxny5gszzm0q5xmnae4ed6qqn2gys4ugtey, false, 4215828253063057579372973753238191915437678788189540242352627279098623010748field, 4215828253063057579372973753238191915437678788189540242352627279098623010748group, -68i8, -22596i16, -919361604i32, -1115211937480464452i64, 69581248500420848509480883781010433980i128, 188u8, 42940u16, 3375605692u32, 17331532136229087164u64, 69581248500420848509480883781010433980u128, 597325464396926472386380471716694795022991767388272616119577778851337709500scalar]"
output: "SnarkVMError('test.aleo/address_casts' is not satisfied on the given inputs (35900 constraints).)"
bool_casts:
- input: "[false]"
output: "[aleo1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq3ljyzc, false, 0field, 0group, 0i8, 0i16, 0i32, 0i64, 0i128, 0u8, 0u16, 0u32, 0u64, 0u128, 0scalar]"