It might be sensible to have a function called verify_element which gets as arguments a byte string element and a position in the stack position and checks that the element at position position is equal to element. This function could be used to verify a constant n by calling it on encode_num(n) but it could also be used to verify the correctness of byte strings (think about future compatibility here).
Originally posted by @BarbacoviF in #19 (comment)
It might be sensible to have a function called
verify_elementwhich gets as arguments a byte stringelementand a position in the stackpositionand checks that the element at positionpositionis equal toelement. This function could be used to verify a constantnby calling it onencode_num(n)but it could also be used to verify the correctness of byte strings (think about future compatibility here).Originally posted by @BarbacoviF in #19 (comment)