waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix(bls): wrong types for equals functions

This commit is contained in:
rvcas 2023-11-07 16:34:01 -05:00 committed by Lucas
parent d53d2665b2
commit b80db2f7f8
1 changed files with 12 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
crates/aiken-lang/src/builtins.rs
View File

@ -682,12 +682,16 @@ pub fn from_default_function(builtin: DefaultFunction, id_gen: &IdGenerator) ->
let tipo = function(vec![a.clone(), list(a.clone())], list(a)); let tipo = function(vec![a.clone(), list(a.clone())], list(a));
(tipo, 2) (tipo, 2)
} }
DefaultFunction::Bls12_381_G1_Add => {
DefaultFunction::Bls12_381_G1_Add | DefaultFunction::Bls12_381_G1_Equal => {
let tipo = function(vec![g1_element(), g1_element()], g1_element()); let tipo = function(vec![g1_element(), g1_element()], g1_element());
(tipo, 2) (tipo, 2)
} }
DefaultFunction::Bls12_381_G1_Equal => {
let tipo = function(vec![g1_element(), g1_element()], bool());
(tipo, 2)
}
DefaultFunction::Bls12_381_G1_Neg => { DefaultFunction::Bls12_381_G1_Neg => {
let tipo = function(vec![g1_element()], g1_element()); let tipo = function(vec![g1_element()], g1_element());
@ -714,11 +718,16 @@ pub fn from_default_function(builtin: DefaultFunction, id_gen: &IdGenerator) ->
(tipo, 2) (tipo, 2)
} }
DefaultFunction::Bls12_381_G2_Add | DefaultFunction::Bls12_381_G2_Equal => { DefaultFunction::Bls12_381_G2_Add => {
let tipo = function(vec![g2_element(), g2_element()], g2_element()); let tipo = function(vec![g2_element(), g2_element()], g2_element());
(tipo, 2) (tipo, 2)
} }
DefaultFunction::Bls12_381_G2_Equal => {
let tipo = function(vec![g2_element(), g2_element()], bool());
(tipo, 2)
}
DefaultFunction::Bls12_381_G2_Neg => { DefaultFunction::Bls12_381_G2_Neg => {
let tipo = function(vec![g2_element()], g2_element()); let tipo = function(vec![g2_element()], g2_element());