Sulkta-OSS/pallas
3
0
Fork 0
Code Issues 1 Pull requests 4 Projects Releases Packages Wiki Activity Actions

fix(applying): contemplate fee rules for genesis UTxOs (#332)

Browse source
This commit is contained in:
Maico Leberle 2023-11-14 17:42:59 -03:00 • committed by GitHub
parent fdbdcc3a4f
commit 99b4c1fa4e
6 changed files with 102 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

2
pallas-applying/docs/byron-validation-rules.md
View file

@ -29,7 +29,7 @@ Refer to the [Byron's ledger white paper](https://github.com/input-output-hk/car
- ***addrHash<sub>utxo</sub> : TxIn -> KeyHash*** takes a transaction input, extracts its associated transaction output from ***utxo***, extracts the address contained in it, and returns its hash. In other words, given ***utxo*** and transaction input ***i*** such that ***utxo(i) = (a, _)***, we have that ***addrHash<sub>utxo</sub>(i) := hash(a)***.
- **Protocol Parameters**:
- ***pps ∈ PParams*** is the set of (Byron) protocol parameters, with the following associated functions:
- ***minFees : PParams x Tx → ℕ*** gives the minimum amount of fees that must be paid for the transaction as determined by the protocol parameters.
- ***minFees : PParams x Tx → ℕ*** gives the minimum amount of fees that must be paid for the transaction as determined by the protocol parameters. If ***tx*** spends only genesis UTxOs (i.e., only input UTxOs generated at the genesis of the ledger), then ***minFees(pps, tx) = 0***.
- ***maxTxSize : PParams → ℕ*** gives the (global) maximum transaction size.
- ***Witnesses***:
- ***VKey*** is the set of verification keys (a.k.a. public keys).