Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
42 changes: 0 additions & 42 deletions ledger/alonzo/alonzo.go
Original file line number Diff line number Diff line change
Expand Up @@ -475,48 +475,6 @@ func (t *AlonzoTransaction) Utxorpc() *utxorpc.Tx {
return t.Body.Utxorpc()
}

type ExUnit struct {
cbor.StructAsArray
Mem uint
Steps uint
}

type ExUnitPrice struct {
cbor.StructAsArray
MemPrice uint
StepPrice uint
}

type AlonzoProtocolParameters struct {
mary.MaryProtocolParameters
MinPoolCost uint
AdaPerUtxoByte uint
CostModels uint
ExecutionCosts uint
MaxTxExUnits uint
MaxBlockExUnits uint
MaxValueSize uint
CollateralPercentage uint
MaxCollateralInputs uint
}

type AlonzoProtocolParameterUpdate struct {
mary.MaryProtocolParameterUpdate
MinPoolCost uint `cbor:"16,keyasint"`
AdaPerUtxoByte uint `cbor:"17,keyasint"`
CostModels map[uint][]uint `cbor:"18,keyasint"`
ExecutionCosts *ExUnitPrice `cbor:"19,keyasint"`
MaxTxExUnits *ExUnit `cbor:"20,keyasint"`
MaxBlockExUnits *ExUnit `cbor:"21,keyasint"`
MaxValueSize uint `cbor:"22,keyasint"`
CollateralPercentage uint `cbor:"23,keyasint"`
MaxCollateralInputs uint `cbor:"24,keyasint"`
}

func (u *AlonzoProtocolParameterUpdate) UnmarshalCBOR(data []byte) error {
return u.UnmarshalCbor(data, u)
}

func NewAlonzoBlockFromCbor(data []byte) (*AlonzoBlock, error) {
var alonzoBlock AlonzoBlock
if _, err := cbor.Decode(data, &alonzoBlock); err != nil {
Expand Down
39 changes: 33 additions & 6 deletions ledger/alonzo/genesis.go
Original file line number Diff line number Diff line change
Expand Up @@ -17,17 +17,18 @@ package alonzo
import (
"encoding/json"
"io"
"math/big"
"os"
)

type AlonzoGenesis struct {
LovelacePerUtxoWord uint64 `json:"lovelacePerUTxOWord"`
MaxValueSize int
CollateralPercentage int
MaxCollateralInputs int
ExecutionPrices map[string]map[string]int
MaxTxExUnits map[string]int
MaxBlockExUnits map[string]int
MaxValueSize uint
CollateralPercentage uint
MaxCollateralInputs uint
ExecutionPrices AlonzoGenesisExecutionPrices
MaxTxExUnits AlonzoGenesisExUnits
MaxBlockExUnits AlonzoGenesisExUnits
CostModels map[string]map[string]int
}

Expand All @@ -49,3 +50,29 @@ func NewAlonzoGenesisFromFile(path string) (AlonzoGenesis, error) {
defer f.Close()
return NewAlonzoGenesisFromReader(f)
}

type AlonzoGenesisExUnits struct {
Mem uint `json:"exUnitsMem"`
Steps uint `json:"exUnitsSteps"`
}

type AlonzoGenesisExecutionPrices struct {
Steps *AlonzoGenesisExecutionPricesRat `json:"prSteps"`
Mem *AlonzoGenesisExecutionPricesRat `json:"prMem"`
}

type AlonzoGenesisExecutionPricesRat struct {
*big.Rat
}

func (r *AlonzoGenesisExecutionPricesRat) UnmarshalJSON(data []byte) error {
var tmpData struct {
Numerator int64 `json:"numerator"`
Denominator int64 `json:"denominator"`
}
if err := json.Unmarshal(data, &tmpData); err != nil {
return err
}
r.Rat = big.NewRat(tmpData.Numerator, tmpData.Denominator)
return nil
}
23 changes: 14 additions & 9 deletions ledger/alonzo/genesis_test.go
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@
package alonzo_test

import (
"math/big"
"reflect"
"strings"
"testing"
Expand Down Expand Up @@ -226,17 +227,21 @@ var expectedGenesisObj = alonzo.AlonzoGenesis{
MaxValueSize: 5000,
CollateralPercentage: 150,
MaxCollateralInputs: 3,
ExecutionPrices: map[string]map[string]int{
"prMem": {"denominator": 10000, "numerator": 577},
"prSteps": {"denominator": 10000000, "numerator": 721},
ExecutionPrices: alonzo.AlonzoGenesisExecutionPrices{
Mem: &alonzo.AlonzoGenesisExecutionPricesRat{
Rat: big.NewRat(577, 10000),
},
Steps: &alonzo.AlonzoGenesisExecutionPricesRat{
Rat: big.NewRat(721, 10000000),
},
},
MaxTxExUnits: map[string]int{
"exUnitsMem": 10000000,
"exUnitsSteps": 10000000000,
MaxTxExUnits: alonzo.AlonzoGenesisExUnits{
Mem: 10000000,
Steps: 10000000000,
},
MaxBlockExUnits: map[string]int{
"exUnitsMem": 50000000,
"exUnitsSteps": 40000000000,
MaxBlockExUnits: alonzo.AlonzoGenesisExUnits{
Mem: 50000000,
Steps: 40000000000,
},
CostModels: map[string]map[string]int{
"PlutusV1": {
Expand Down
109 changes: 109 additions & 0 deletions ledger/alonzo/pparams.go
Original file line number Diff line number Diff line change
@@ -0,0 +1,109 @@
// Copyright 2024 Blink Labs Software
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

package alonzo

import (
"github.com/blinklabs-io/gouroboros/cbor"
"github.com/blinklabs-io/gouroboros/ledger/common"
"github.com/blinklabs-io/gouroboros/ledger/mary"
)

type AlonzoProtocolParameters struct {
mary.MaryProtocolParameters
MinPoolCost uint64
AdaPerUtxoByte uint64
CostModels map[uint][]uint64
ExecutionCosts common.ExUnitPrice
MaxTxExUnits common.ExUnit
MaxBlockExUnits common.ExUnit
MaxValueSize uint
CollateralPercentage uint
MaxCollateralInputs uint
}

func (p *AlonzoProtocolParameters) Update(paramUpdate *AlonzoProtocolParameterUpdate) {
p.MaryProtocolParameters.Update(
&paramUpdate.MaryProtocolParameterUpdate,
)
if paramUpdate.MinPoolCost != nil {
p.MinPoolCost = *paramUpdate.MinPoolCost
}
if paramUpdate.AdaPerUtxoByte != nil {
p.AdaPerUtxoByte = *paramUpdate.AdaPerUtxoByte
}
if paramUpdate.CostModels != nil {
p.CostModels = paramUpdate.CostModels
}
if paramUpdate.ExecutionCosts != nil {
p.ExecutionCosts = *paramUpdate.ExecutionCosts
}
if paramUpdate.MaxTxExUnits != nil {
p.MaxTxExUnits = *paramUpdate.MaxTxExUnits
}
if paramUpdate.MaxBlockExUnits != nil {
p.MaxBlockExUnits = *paramUpdate.MaxBlockExUnits
}
if paramUpdate.MaxValueSize != nil {
p.MaxValueSize = *paramUpdate.MaxValueSize
}
if paramUpdate.CollateralPercentage != nil {
p.CollateralPercentage = *paramUpdate.CollateralPercentage
}
if paramUpdate.MaxCollateralInputs != nil {
p.MaxCollateralInputs = *paramUpdate.MaxCollateralInputs
}
}

func (p *AlonzoProtocolParameters) UpdateFromGenesis(genesis *AlonzoGenesis) {
// XXX: do we need to convert this?
p.AdaPerUtxoByte = genesis.LovelacePerUtxoWord
p.MaxValueSize = genesis.MaxValueSize
p.CollateralPercentage = genesis.CollateralPercentage
p.MaxCollateralInputs = genesis.MaxCollateralInputs
p.MaxTxExUnits = common.ExUnit{
Mem: genesis.MaxTxExUnits.Mem,
Steps: genesis.MaxTxExUnits.Steps,
}
p.MaxBlockExUnits = common.ExUnit{
Mem: genesis.MaxBlockExUnits.Mem,
Steps: genesis.MaxBlockExUnits.Steps,
}
if genesis.ExecutionPrices.Mem != nil && genesis.ExecutionPrices.Steps != nil {
p.ExecutionCosts = common.ExUnitPrice{
MemPrice: &cbor.Rat{Rat: genesis.ExecutionPrices.Mem.Rat},
StepPrice: &cbor.Rat{Rat: genesis.ExecutionPrices.Steps.Rat},
}
}
// TODO: cost models
// We have 150+ string values to map to array indexes
// CostModels map[string]map[string]int
}

type AlonzoProtocolParameterUpdate struct {
mary.MaryProtocolParameterUpdate
MinPoolCost *uint64 `cbor:"16,keyasint"`
AdaPerUtxoByte *uint64 `cbor:"17,keyasint"`
CostModels map[uint][]uint64 `cbor:"18,keyasint"`
ExecutionCosts *common.ExUnitPrice `cbor:"19,keyasint"`
MaxTxExUnits *common.ExUnit `cbor:"20,keyasint"`
MaxBlockExUnits *common.ExUnit `cbor:"21,keyasint"`
MaxValueSize *uint `cbor:"22,keyasint"`
CollateralPercentage *uint `cbor:"23,keyasint"`
MaxCollateralInputs *uint `cbor:"24,keyasint"`
}

func (u *AlonzoProtocolParameterUpdate) UnmarshalCBOR(data []byte) error {
return u.UnmarshalCbor(data, u)
}
Loading