zk proof generation and verification based on MIPS
ongoing-discussions https://docs.google.com/presentation/d/1dr6xUz-gj6NUQJMUh7yppP5UNHfoVdSph-tzLxFAtRw/edit?usp=sharing
develop - working development build
develop_backup - experiemental build
main - release build