ZFStar: Improve verification time
At the moment verifying, extracting and compiling a contract takes too long (around 15 seconds). We should try and aim for 100ms of the entire process.
Edited by Doron Somech
At the moment verifying, extracting and compiling a contract takes too long (around 15 seconds). We should try and aim for 100ms of the entire process.