This PR introduces time locks, which are a type of type script that can lock a UTXO until a certain release date. UTXOs generated by the genesis block and mining rewards are time-locked.
Additionally, this PR:
renames native_coin to native_currency
copies the relevant interface from the tasm-lang compiler so as to run rust code in an environment emulating Triton VM
refactors consensus logic programs and relations
implements Arbitrary for several structs, including structs that are or hold witness data
adds tests for these arbitrary methods
wraps the list of input or output UTXOs into a struct containing a salt, so that claims pertaining to these sets can be reduced to claims pertaining to randomized commitments thereto.
This PR introduces time locks, which are a type of type script that can lock a UTXO until a certain release date. UTXOs generated by the genesis block and mining rewards are time-locked.
Additionally, this PR:
native_coin
tonative_currency
tasm-lang
compiler so as to run rust code in an environment emulating Triton VMArbitrary
for several structs, including structs that are or hold witness dataarbitrary
methods