refatctor: Changed the file directory and where types are stored fix: difficulty_number is correctly called target_number now
block_number: Int,
current_hash: ByteArray,
leading_zeros: Int,
difficulty_number: Int,
target_number: Int,
epoch_time: Int,
current_posix_time: Int,
extra: Data,
use aiken/transaction.{InlineDatum, Output}
use aiken/transaction/value.{Value}
use fortuna/types.{State}
use fortuna/utils.{quantity_of}
use hardfork/hftypes.{ForkDatum, GlobalLockState, LockStateType, Miner, Regular}
pub fn calculate_emission(block_height: Int) -> Int {
todo
}
pub type HardForkStatus {
NotForked
Forked
FailedFork
}
pub type LockStateType {
Miner(ByteArray)
Regular
}
pub type ForkDatum {
HardForkState { status: HardForkStatus, fork_block_height: Int }
GlobalLockState { locked_tuna: Int, lock_state_type: LockStateType }
NftState { nft_key: ByteArray }
}
use aiken/hash.{blake2b_256, sha2_256}
use aiken/interval.{Finite, Interval, IntervalBound}
use aiken/list
use aiken/math
use aiken/option
use aiken/transaction.{
InlineDatum, Mint, Output, OutputReference, ScriptContext, Spend, Transaction,
} as tx
use aiken/transaction/credential.{Address, Inline, ScriptCredential}
use aiken/transaction/value.{tokens}
use aiken/transaction/value.{Value, tokens}
use fortuna
use fortuna/parameters.{epoch_number, halving_number, initial_payout}
use fortuna/types.{State}
use fortuna/utils.{list_at, quantity_of}
use hardfork
use hardfork/hftypes.{
FailedFork, ForkDatum, Forked, GlobalLockState, HardForkState, LockStateType,
Miner, NftState, NotForked, Regular,
}
type TunaAction {
Genesis
type Miner {
Pkh(ByteArray)
Nft(ByteArray, ByteArray)
Nft { policy: ByteArray, name: ByteArray, output_index: Int }
}
type MineAction {
nonce: ByteArray,
miner: Miner,
nft_input_ref: Option<OutputReference>,
}
type TargetState {
block_number: Int,
current_hash: ByteArray,
leading_zeros: Int,
difficulty_number: Int,
target_number: Int,
miner: ByteArray,
}
block_number,
current_hash,
leading_zeros,
difficulty_number,
target_number,
epoch_time,
current_posix_time,
interlink,
expect ScriptCredential(own_validator_hash) = credential
let MineAction { nonce, miner, nft_input_ref } = redeemer
let MineAction { nonce, miner } = redeemer
// Spend(0) requirement: Contract has only one output with the master token going back to itself
expect Some(own_output) =
expect
when miner is {
Pkh(signer) -> list.has(transaction.extra_signatories, signer)
Nft(nft_policy, nft_name) -> {
expect Some(input_ref) = nft_input_ref
Nft { policy: nft_policy, name: nft_name, output_index } -> {
//
let quantity =
utils.resolve_output_reference(inputs, input_ref).value
utils.list_at(outputs, output_index).value
|> quantity_of(nft_policy, nft_name)
//
// Spend(2) requirement: Input has nft
// Spend(2) requirement: Output has nft
quantity == 1
}
}
block_number,
current_hash,
leading_zeros,
difficulty_number,
target_number,
miner: blake2b_256(builtin.serialise_data(miner)),
}
|> sha2_256()
|> sha2_256()
let (found_difficulty_number, found_leading_zeros) =
let (found_target_number, found_leading_zeros) =
fortuna.format_found_bytearray(found_bytearray)
// Mining Difficulty Met
(found_leading_zeros > leading_zeros)?,
and {
(found_leading_zeros == leading_zeros)?,
(found_difficulty_number < difficulty_number)?,
(found_target_number < target_number)?,
},
}
//
if halving_exponent > 29 {
0
} else {
initial_payout / fortuna.two_exponential(halving_exponent)
initial_payout / math.pow2(halving_exponent)
}
// Spend(5) requirement: Minted token is the correct name and amount
block_number: out_block_number,
current_hash: out_current_hash,
leading_zeros: out_leading_zeros,
difficulty_number: out_difficulty_number,
target_number: out_target_number,
epoch_time: out_epoch_time,
current_posix_time: out_current_posix_time,
interlink: out_interlink,
// Now use ratio to find new leading zeros difficulty
let (new_difficulty, new_leading_zeroes) =
fortuna.get_new_difficulty(
difficulty_number,
target_number,
leading_zeros,
adjustment_numerator,
adjustment_denominator,
)
//
and {
(new_leading_zeroes == out_leading_zeros)?,
(new_difficulty == out_difficulty_number)?,
(new_difficulty == out_target_number)?,
(0 == out_epoch_time)?,
}
} else {
//
and {
(leading_zeros == out_leading_zeros)?,
(difficulty_number == out_difficulty_number)?,
(target_number == out_target_number)?,
(new_epoch_time == out_epoch_time)?,
}
}
interlink,
found_bytearray,
found_leading_zeros,
found_difficulty_number,
difficulty_number,
found_target_number,
target_number,
leading_zeros,
) == out_interlink)?,
}
}
}
type HardForkStatus {
NotForked
Forked
FailedFork
}
type LockStateType {
Miner(ByteArray)
Regular
}
type ForkDatum {
HardForkState { status: HardForkStatus, fork_block_height: Int }
GlobalLockState { locked_tuna: Int, lock_state_type: LockStateType }
NftState { nft_key: ByteArray }
}
type NftForkAction {
pub type NftForkAction {
Initialize
Lock {
hard_fork_state_ref: OutputReference,
lock_output_index: Int,
nft_output_index: Int,
out_key_index: Option<Int>,
fortuna_v1_input_ref: Option<OutputReference>,
out_key_index: Int,
miner_output: Option<Int>,
}
block_number: Int,
current_hash: ByteArray,
leading_zeros: Int,
difficulty_number: Int,
target_number: Int,
epoch_time: Int,
}
block_number: 0,
current_hash: bootstrap_hash,
leading_zeros: 5,
difficulty_number: 65535,
target_number: 65535,
epoch_time: 0,
current_posix_time: averaged_current_time,
extra: 0,
block_number,
current_hash,
leading_zeros,
difficulty_number,
target_number,
epoch_time,
current_posix_time,
interlink,
block_number,
current_hash,
leading_zeros,
difficulty_number,
target_number,
}
let found_bytearray =
|> sha2_256()
|> sha2_256()
let (found_difficulty_number, found_leading_zeros) =
let (found_target_number, found_leading_zeros) =
fortuna.format_found_bytearray(found_bytearray)
// Mining Difficulty Met
(found_leading_zeros > leading_zeros)?,
and {
(found_leading_zeros == leading_zeros)?,
(found_difficulty_number < difficulty_number)?,
(found_target_number < target_number)?,
},
}
//
current_posix_time: out_current_posix_time,
interlink: out_interlink,
extra,
difficulty_number: out_difficulty_number,
target_number: out_target_number,
}: State = output_datum
// Spend(8) requirement: Check output has correct difficulty number, leading zeros, and epoch time
// Now use ratio to find new leading zeros difficulty
let (new_difficulty, new_leading_zeroes) =
fortuna.get_new_difficulty(
difficulty_number,
target_number,
leading_zeros,
adjustment_numerator,
adjustment_denominator,
)
//
and {
(new_leading_zeroes == out_leading_zeros)?,
(new_difficulty == out_difficulty_number)?,
(new_difficulty == out_target_number)?,
(0 == out_epoch_time)?,
}
} else {
//
and {
(leading_zeros == out_leading_zeros)?,
(difficulty_number == out_difficulty_number)?,
(target_number == out_target_number)?,
(new_epoch_time == out_epoch_time)?,
}
}
interlink,
found_bytearray,
found_leading_zeros,
found_difficulty_number,
difficulty_number,
found_target_number,
target_number,
leading_zeros,
) == out_interlink)?
}
Maybe not needed anymore, but this honors the comment just above in project.nix which was put in place to fix static muslc builds.
plutus: 1.7 -> 1.9 Drop BundledProtocolParameters and ProtocolParameters in favour of PParams LedgerEra
Implement `tcTranslationContextL` for Shelley
# [0.10.0](https://github.com/input-output-hk/atala-prism-mediator/compare/prism-mediator-v0.9.2...prism-mediator-v0.10.0) (2023-09-21) ### Bug Fixes * Added DidSubject to report problem when not enrolled ([#111](https://github.com/input-output-hk/atala-prism-mediator/issues/111)) ([40c5d06](https://github.com/input-output-hk/atala-prism-mediator/commit/40c5d066840d2e0ae119fccee10d03bb10d7a5e9)) * Annotate Headers & Update zio-http to version 3.0.0-RC2 ([#106](https://github.com/input-output-hk/atala-prism-mediator/issues/106)) ([aa19f0a](https://github.com/input-output-hk/atala-prism-mediator/commit/aa19f0a1b9a547a562139b7c91373c1d84ddfa39)) * Encoder for VerificationMethodReferenced as String ([#110](https://github.com/input-output-hk/atala-prism-mediator/issues/110)) ([761d422](https://github.com/input-output-hk/atala-prism-mediator/commit/761d4227b8eef486fa12510814bb4c075f0b9c87)) * sign ProblemReport when TO is unspecified ([#105](https://github.com/input-output-hk/atala-prism-mediator/issues/105)) ([586dd9f](https://github.com/input-output-hk/atala-prism-mediator/commit/586dd9f1cce1763fd4cf5f1db93cf53f94740816)) * Update local docker-compose configuration by adding the SERVICE_ENDPOINT port ([#128](https://github.com/input-output-hk/atala-prism-mediator/issues/128)) ([2adc6aa](https://github.com/input-output-hk/atala-prism-mediator/commit/2adc6aac26593e0f868dfee2e81afae7c4337b32)) ### Features * add MediatorBuildInfo & /did and /version endpoints ([#120](https://github.com/input-output-hk/atala-prism-mediator/issues/120)) ([4445e1f](https://github.com/input-output-hk/atala-prism-mediator/commit/4445e1f3db5011264e2831cf12d1ed183406447d)) * add tag latest to the mediator docker image ([#118](https://github.com/input-output-hk/atala-prism-mediator/issues/118)) ([020f2cd](https://github.com/input-output-hk/atala-prism-mediator/commit/020f2cdff5e8e32ac8f880b7a87f0e0239c5ce34)) * Added test for executor and problem reports ([#117](https://github.com/input-output-hk/atala-prism-mediator/issues/117)) ([ce05d5a](https://github.com/input-output-hk/atala-prism-mediator/commit/ce05d5a0894ae0cee1eaba89bd5834182800e9ef))
Add new tx-view key name
