nano-js-0.1.0.0: Small Language for Implementing Verification Algorithms