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

Update PlutusV1 cost model

This commit is contained in:
microproofs 2024-09-19 10:36:36 -04:00
parent b50fa91d4c
commit 43182721f5
No known key found for this signature in database
GPG Key ID: 14F93C84DE6AFD17
1 changed files with 18 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -372,9 +372,9 @@ impl BuiltinCosts {
intercept: 0, intercept: 0,
slope: 1, slope: 1,
}), }),
cpu: TwoArguments::AddedSizes(AddedSizes { cpu: TwoArguments::MultipliedSizes(MultipliedSizes {
intercept: 69522, intercept: 90434,
slope: 11687, slope: 519,
}), }),
}, },
divide_integer: CostingFun { divide_integer: CostingFun {
@ -384,10 +384,10 @@ impl BuiltinCosts {
minimum: 1, minimum: 1,
}), }),
cpu: TwoArguments::ConstAboveDiagonal(ConstantOrTwoArguments { cpu: TwoArguments::ConstAboveDiagonal(ConstantOrTwoArguments {
constant: 196500, constant: 85848,
model: Box::new(TwoArguments::MultipliedSizes(MultipliedSizes { model: Box::new(TwoArguments::MultipliedSizes(MultipliedSizes {
intercept: 453240, intercept: 228465,
slope: 220, slope: 122,
})), })),
}), }),
}, },
@ -398,10 +398,10 @@ impl BuiltinCosts {
minimum: 1, minimum: 1,
}), }),
cpu: TwoArguments::ConstAboveDiagonal(ConstantOrTwoArguments { cpu: TwoArguments::ConstAboveDiagonal(ConstantOrTwoArguments {
constant: 196500, constant: 85848,
model: Box::new(TwoArguments::MultipliedSizes(MultipliedSizes { model: Box::new(TwoArguments::MultipliedSizes(MultipliedSizes {
intercept: 453240, intercept: 228465,
slope: 220, slope: 122,
})), })),
}), }),
}, },
@ -412,10 +412,10 @@ impl BuiltinCosts {
minimum: 1, minimum: 1,
}), }),
cpu: TwoArguments::ConstAboveDiagonal(ConstantOrTwoArguments { cpu: TwoArguments::ConstAboveDiagonal(ConstantOrTwoArguments {
constant: 196500, constant: 85848,
model: Box::new(TwoArguments::MultipliedSizes(MultipliedSizes { model: Box::new(TwoArguments::MultipliedSizes(MultipliedSizes {
intercept: 453240, intercept: 228465,
slope: 220, slope: 122,
})), })),
}), }),
}, },
@ -426,10 +426,10 @@ impl BuiltinCosts {
minimum: 1, minimum: 1,
}), }),
cpu: TwoArguments::ConstAboveDiagonal(ConstantOrTwoArguments { cpu: TwoArguments::ConstAboveDiagonal(ConstantOrTwoArguments {
constant: 196500, constant: 85848,
model: Box::new(TwoArguments::MultipliedSizes(MultipliedSizes { model: Box::new(TwoArguments::MultipliedSizes(MultipliedSizes {
intercept: 453240, intercept: 228465,
slope: 220, slope: 122,
})), })),
}), }),
}, },
@ -557,9 +557,9 @@ impl BuiltinCosts {
}, },
verify_ed25519_signature: CostingFun { verify_ed25519_signature: CostingFun {
mem: ThreeArguments::ConstantCost(10), mem: ThreeArguments::ConstantCost(10),
cpu: ThreeArguments::LinearInZ(LinearSize { cpu: ThreeArguments::LinearInY(LinearSize {
intercept: 57996947, intercept: 53384111,
slope: 18975, slope: 14333,
}), }),
}, },
verify_ecdsa_secp256k1_signature: CostingFun { verify_ecdsa_secp256k1_signature: CostingFun {