// zk-AluVM Runtime Environment
//
// SPDX-License-Identifier: Apache-2.0
//
// Written in 2024 by
// Dr Maxim Orlovsky <orlovsky@ubideco.org>
//
// Copyright (C) 2024 UBIDECO Labs,
// Institute for Distributed and Cognitive Systems, Switzerland
// Copyright (C) 2024 Dr Maxim Orlovsky. All rights reserved.