A programming language designed for a virtual CPU of the same name, which presents a unique aspect, that it was not created for the physical constraints of our world but for cryptographic ones, making it capable of efficiently proving the execution of any program running on it.