DLT , AI researcher mechatronic systems
A Virtual Machine for Zero-Knowledge Executions
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications