hexresearch / hschain-utxo

UTXO-based contracts for hschain
0 stars 0 forks source link

Restrict evaluation of core-expression to fixed amount of reductions #192

Closed anton-k closed 3 years ago

anton-k commented 3 years ago

Implements very simple model of reduction restriction. As a starter we limit every call of recur function. also we can provide more involved strategies by bumoing reduction counter inside list-primitives. It needs to be investigated. This PR provides framework for this process.