Amounts and amount logic are quite important in the design of a currency. This PR:
Implements (in compiler-friendly rust) a type script NativeCurrency that verifies that transactions are balanced, i.e., do not generate new coins or have negative outputs.
Upgrades the dependency on tasm-lib.
Simplifies the internal representation of NeptuneCoins amounts: it now uses a u128 rather than a U32s<NUM_LIMBS>.
Implement (in compiler-friendly rust) a type script NativeCurrency
that verifies that transactions are balanced, i.e., do not generate
new coins or have negative outputs.
Upgrades the dependency on tasm-lib.
Simplifies the internal representation of NeptuneCoins amounts:
it now uses a u128 rather than a U32s<NUM_LIMBS>.
Amounts and amount logic are quite important in the design of a currency. This PR:
NativeCurrency
that verifies that transactions are balanced, i.e., do not generate new coins or have negative outputs.tasm-lib
.NeptuneCoins
amounts: it now uses au128
rather than aU32s<NUM_LIMBS>
.