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

feat: fill in todo for verify ecdsa and schnorr costing

This commit is contained in:
rvcas 2023-02-04 17:49:55 -05:00 committed by Lucas
parent 09d8d683b6
commit cde3e31723
1 changed files with 24 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
crates/uplc/src/machine/cost_model.rs
View File

@ -1175,8 +1175,30 @@ impl BuiltinCosts {
args[2].to_ex_mem(),
),
},
DefaultFunction::VerifyEcdsaSecp256k1Signature => todo!(),
DefaultFunction::VerifySchnorrSecp256k1Signature => todo!(),
DefaultFunction::VerifyEcdsaSecp256k1Signature => ExBudget {
mem: self.verify_ecdsa_secp256k1_signature.mem.cost(
args[0].to_ex_mem(),
args[1].to_ex_mem(),
args[2].to_ex_mem(),
),
cpu: self.verify_ecdsa_secp256k1_signature.cpu.cost(
args[0].to_ex_mem(),
args[1].to_ex_mem(),
args[2].to_ex_mem(),
),
},
DefaultFunction::VerifySchnorrSecp256k1Signature => ExBudget {
mem: self.verify_schnorr_secp256k1_signature.mem.cost(
args[0].to_ex_mem(),
args[1].to_ex_mem(),
args[2].to_ex_mem(),
),
cpu: self.verify_schnorr_secp256k1_signature.cpu.cost(
args[0].to_ex_mem(),
args[1].to_ex_mem(),
args[2].to_ex_mem(),
),
},
DefaultFunction::AppendString => ExBudget {
mem: self
.append_string