> Just a quick question--is there already someone working on the verifier? There are pieces of the verifier implemented by the runtime, but it is not complete. Miguel.