ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-19 17:57:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update AST

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2023-08-03 00:44:05 -04:00
parent b1b947fef5
commit e96475b3e2
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
compiler/ast/src/functions/core_function.rs
View File

@ -196,6 +196,8 @@ pub enum CoreFunction {
GroupToXCoordinate,
GroupToYCoordinate,
SignatureVerify,
}
impl CoreFunction {
@ -380,6 +382,8 @@ impl CoreFunction {
(sym::group, sym::to_x_coordinate) => Self::GroupToXCoordinate,
(sym::group, sym::to_y_coordinate) => Self::GroupToYCoordinate,
(sym::signature, sym::verify) => Self::SignatureVerify,
_ => return None,
})
}
@ -565,6 +569,8 @@ impl CoreFunction {
Self::GroupToXCoordinate => 1,
Self::GroupToYCoordinate => 1,
Self::SignatureVerify => 3,
}
}
@ -736,7 +742,8 @@ impl CoreFunction {
| CoreFunction::Poseidon8HashToU128
| CoreFunction::Poseidon8HashToScalar
| CoreFunction::GroupToXCoordinate
| CoreFunction::GroupToYCoordinate => false,
| CoreFunction::GroupToYCoordinate
| CoreFunction::SignatureVerify => false,
}
}
}