first zero-knowledge Layer-2 (LitVM)