blockchains, zero-knowledge proofs, virtual machines. working on @0xMiden