├── .envrc ├── .github └── workflows │ └── ci.yml ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── Containerfile ├── INSTALL.md ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── crates ├── cli │ ├── Cargo.toml │ ├── README.md │ └── src │ │ ├── file.rs │ │ ├── keyfile.rs │ │ ├── lib.rs │ │ ├── main.rs │ │ └── server.rs ├── common │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── node │ ├── Cargo.lock │ ├── Cargo.toml │ ├── README.md │ ├── build.rs │ ├── migrations │ │ ├── 20231009111859_programs-table.sql │ │ ├── 20231009111925_tasks-table.sql │ │ ├── 20231128120351_transactions-table.sql │ │ ├── 20231128120829_assets-table.sql │ │ ├── 20240121151959_acl_whitelist.sql │ │ ├── 20240202122917_drop_unique_proof_parent_prover_constraint.sql │ │ ├── 20240212064646_add-program-resource-requirements.sql │ │ ├── 20240215174342_add_txfile_and_checksum.sql │ │ ├── 20240221184329_remove_asset_table.sql │ │ ├── 20240222200513_remove_task_table.sql │ │ ├── 20240311123204_add-transaction-timestamp.sql │ │ └── 20240318140915_add-dashboard-notify-trigger-to-transaction.sql │ ├── podman-compose.yml │ └── src │ │ ├── acl │ │ └── mod.rs │ │ ├── cli.rs │ │ ├── lib.rs │ │ ├── main.rs │ │ ├── mempool │ │ ├── event.rs │ │ ├── mod.rs │ │ └── txvalidation │ │ │ ├── download_manager.rs │ │ │ └── mod.rs │ │ ├── metrics │ │ └── mod.rs │ │ ├── networking │ │ ├── mod.rs │ │ └── p2p │ │ │ ├── mod.rs │ │ │ ├── noise.rs │ │ │ ├── pea2pea.rs │ │ │ └── protocol │ │ │ ├── internal.rs │ │ │ ├── mod.rs │ │ │ ├── v0.rs │ │ │ └── v1.rs │ │ ├── rpc_client │ │ └── mod.rs │ │ ├── rpc_server │ │ └── mod.rs │ │ ├── scheduler │ │ ├── mod.rs │ │ ├── program_manager.rs │ │ ├── resource_manager.rs │ │ ├── task_picker.rs │ │ └── work_distributor.rs │ │ ├── storage │ │ ├── database │ │ │ ├── entity │ │ │ │ ├── mod.rs │ │ │ │ ├── payload.rs │ │ │ │ ├── public_key.rs │ │ │ │ └── transaction.rs │ │ │ ├── mod.rs │ │ │ └── postgres.rs │ │ └── mod.rs │ │ ├── types │ │ ├── account.rs │ │ ├── deployment.rs │ │ ├── file.rs │ │ ├── hash.rs │ │ ├── key_capsule.rs │ │ ├── mod.rs │ │ ├── program.rs │ │ ├── rpc.rs │ │ ├── signature.rs │ │ ├── task.rs │ │ └── transaction.rs │ │ ├── vmm │ │ ├── mod.rs │ │ ├── qemu.rs │ │ └── vm_server.rs │ │ ├── watchdog │ │ └── mod.rs │ │ └── workflow │ │ └── mod.rs ├── shim-ffi │ ├── Cargo.toml │ ├── shim.h │ └── src │ │ └── lib.rs ├── shim │ ├── Cargo.lock │ ├── Cargo.toml │ ├── build.rs │ ├── proto │ │ └── vm_service.proto │ └── src │ │ └── lib.rs └── tests │ ├── e2e-tests │ ├── Cargo.toml │ ├── manifest │ │ ├── prover.json │ │ └── verifier.json │ └── src │ │ ├── main.rs │ │ └── server.rs │ └── test-programs │ ├── Cargo.toml │ └── src │ ├── prover.rs │ └── verifier.rs ├── flake.lock ├── flake.nix ├── podman-compose.yml └── rust-toolchain.toml /.envrc: -------------------------------------------------------------------------------- 1 | use flake 2 | -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Containerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/Containerfile -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/INSTALL.md -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/README.md -------------------------------------------------------------------------------- /crates/cli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/cli/Cargo.toml -------------------------------------------------------------------------------- /crates/cli/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/cli/README.md -------------------------------------------------------------------------------- /crates/cli/src/file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/cli/src/file.rs -------------------------------------------------------------------------------- /crates/cli/src/keyfile.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/cli/src/keyfile.rs -------------------------------------------------------------------------------- /crates/cli/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/cli/src/lib.rs -------------------------------------------------------------------------------- /crates/cli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/cli/src/main.rs -------------------------------------------------------------------------------- /crates/cli/src/server.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/cli/src/server.rs -------------------------------------------------------------------------------- /crates/common/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/common/Cargo.toml -------------------------------------------------------------------------------- /crates/common/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/common/src/lib.rs -------------------------------------------------------------------------------- /crates/node/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/Cargo.lock -------------------------------------------------------------------------------- /crates/node/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/Cargo.toml -------------------------------------------------------------------------------- /crates/node/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/README.md -------------------------------------------------------------------------------- /crates/node/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/build.rs -------------------------------------------------------------------------------- /crates/node/migrations/20231009111859_programs-table.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/migrations/20231009111859_programs-table.sql -------------------------------------------------------------------------------- /crates/node/migrations/20231009111925_tasks-table.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/migrations/20231009111925_tasks-table.sql -------------------------------------------------------------------------------- /crates/node/migrations/20231128120351_transactions-table.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/migrations/20231128120351_transactions-table.sql -------------------------------------------------------------------------------- /crates/node/migrations/20231128120829_assets-table.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/migrations/20231128120829_assets-table.sql -------------------------------------------------------------------------------- /crates/node/migrations/20240121151959_acl_whitelist.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/migrations/20240121151959_acl_whitelist.sql -------------------------------------------------------------------------------- /crates/node/migrations/20240202122917_drop_unique_proof_parent_prover_constraint.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/migrations/20240202122917_drop_unique_proof_parent_prover_constraint.sql -------------------------------------------------------------------------------- /crates/node/migrations/20240212064646_add-program-resource-requirements.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/migrations/20240212064646_add-program-resource-requirements.sql -------------------------------------------------------------------------------- /crates/node/migrations/20240215174342_add_txfile_and_checksum.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/migrations/20240215174342_add_txfile_and_checksum.sql -------------------------------------------------------------------------------- /crates/node/migrations/20240221184329_remove_asset_table.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/migrations/20240221184329_remove_asset_table.sql -------------------------------------------------------------------------------- /crates/node/migrations/20240222200513_remove_task_table.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/migrations/20240222200513_remove_task_table.sql -------------------------------------------------------------------------------- /crates/node/migrations/20240311123204_add-transaction-timestamp.sql: -------------------------------------------------------------------------------- 1 | ALTER TABLE transaction ADD COLUMN created_at TIMESTAMPTZ DEFAULT NOW(); 2 | -------------------------------------------------------------------------------- /crates/node/migrations/20240318140915_add-dashboard-notify-trigger-to-transaction.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/migrations/20240318140915_add-dashboard-notify-trigger-to-transaction.sql -------------------------------------------------------------------------------- /crates/node/podman-compose.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/podman-compose.yml -------------------------------------------------------------------------------- /crates/node/src/acl/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/acl/mod.rs -------------------------------------------------------------------------------- /crates/node/src/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/cli.rs -------------------------------------------------------------------------------- /crates/node/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/lib.rs -------------------------------------------------------------------------------- /crates/node/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/main.rs -------------------------------------------------------------------------------- /crates/node/src/mempool/event.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/mempool/event.rs -------------------------------------------------------------------------------- /crates/node/src/mempool/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/mempool/mod.rs -------------------------------------------------------------------------------- /crates/node/src/mempool/txvalidation/download_manager.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/mempool/txvalidation/download_manager.rs -------------------------------------------------------------------------------- /crates/node/src/mempool/txvalidation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/mempool/txvalidation/mod.rs -------------------------------------------------------------------------------- /crates/node/src/metrics/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/metrics/mod.rs -------------------------------------------------------------------------------- /crates/node/src/networking/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/networking/mod.rs -------------------------------------------------------------------------------- /crates/node/src/networking/p2p/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/networking/p2p/mod.rs -------------------------------------------------------------------------------- /crates/node/src/networking/p2p/noise.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/networking/p2p/noise.rs -------------------------------------------------------------------------------- /crates/node/src/networking/p2p/pea2pea.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/networking/p2p/pea2pea.rs -------------------------------------------------------------------------------- /crates/node/src/networking/p2p/protocol/internal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/networking/p2p/protocol/internal.rs -------------------------------------------------------------------------------- /crates/node/src/networking/p2p/protocol/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/networking/p2p/protocol/mod.rs -------------------------------------------------------------------------------- /crates/node/src/networking/p2p/protocol/v0.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/networking/p2p/protocol/v0.rs -------------------------------------------------------------------------------- /crates/node/src/networking/p2p/protocol/v1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/networking/p2p/protocol/v1.rs -------------------------------------------------------------------------------- /crates/node/src/rpc_client/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/rpc_client/mod.rs -------------------------------------------------------------------------------- /crates/node/src/rpc_server/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/rpc_server/mod.rs -------------------------------------------------------------------------------- /crates/node/src/scheduler/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/scheduler/mod.rs -------------------------------------------------------------------------------- /crates/node/src/scheduler/program_manager.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/scheduler/program_manager.rs -------------------------------------------------------------------------------- /crates/node/src/scheduler/resource_manager.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/scheduler/resource_manager.rs -------------------------------------------------------------------------------- /crates/node/src/scheduler/task_picker.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/node/src/scheduler/work_distributor.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/node/src/storage/database/entity/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/storage/database/entity/mod.rs -------------------------------------------------------------------------------- /crates/node/src/storage/database/entity/payload.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/storage/database/entity/payload.rs -------------------------------------------------------------------------------- /crates/node/src/storage/database/entity/public_key.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/storage/database/entity/public_key.rs -------------------------------------------------------------------------------- /crates/node/src/storage/database/entity/transaction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/storage/database/entity/transaction.rs -------------------------------------------------------------------------------- /crates/node/src/storage/database/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/storage/database/mod.rs -------------------------------------------------------------------------------- /crates/node/src/storage/database/postgres.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/storage/database/postgres.rs -------------------------------------------------------------------------------- /crates/node/src/storage/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/storage/mod.rs -------------------------------------------------------------------------------- /crates/node/src/types/account.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/types/account.rs -------------------------------------------------------------------------------- /crates/node/src/types/deployment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/types/deployment.rs -------------------------------------------------------------------------------- /crates/node/src/types/file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/types/file.rs -------------------------------------------------------------------------------- /crates/node/src/types/hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/types/hash.rs -------------------------------------------------------------------------------- /crates/node/src/types/key_capsule.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/types/key_capsule.rs -------------------------------------------------------------------------------- /crates/node/src/types/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/types/mod.rs -------------------------------------------------------------------------------- /crates/node/src/types/program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/types/program.rs -------------------------------------------------------------------------------- /crates/node/src/types/rpc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/types/rpc.rs -------------------------------------------------------------------------------- /crates/node/src/types/signature.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/types/signature.rs -------------------------------------------------------------------------------- /crates/node/src/types/task.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/types/task.rs -------------------------------------------------------------------------------- /crates/node/src/types/transaction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/types/transaction.rs -------------------------------------------------------------------------------- /crates/node/src/vmm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/vmm/mod.rs -------------------------------------------------------------------------------- /crates/node/src/vmm/qemu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/vmm/qemu.rs -------------------------------------------------------------------------------- /crates/node/src/vmm/vm_server.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/vmm/vm_server.rs -------------------------------------------------------------------------------- /crates/node/src/watchdog/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/watchdog/mod.rs -------------------------------------------------------------------------------- /crates/node/src/workflow/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/node/src/workflow/mod.rs -------------------------------------------------------------------------------- /crates/shim-ffi/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/shim-ffi/Cargo.toml -------------------------------------------------------------------------------- /crates/shim-ffi/shim.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/shim-ffi/shim.h -------------------------------------------------------------------------------- /crates/shim-ffi/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/shim-ffi/src/lib.rs -------------------------------------------------------------------------------- /crates/shim/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/shim/Cargo.lock -------------------------------------------------------------------------------- /crates/shim/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/shim/Cargo.toml -------------------------------------------------------------------------------- /crates/shim/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/shim/build.rs -------------------------------------------------------------------------------- /crates/shim/proto/vm_service.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/shim/proto/vm_service.proto -------------------------------------------------------------------------------- /crates/shim/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/shim/src/lib.rs -------------------------------------------------------------------------------- /crates/tests/e2e-tests/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/tests/e2e-tests/Cargo.toml -------------------------------------------------------------------------------- /crates/tests/e2e-tests/manifest/prover.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/tests/e2e-tests/manifest/prover.json -------------------------------------------------------------------------------- /crates/tests/e2e-tests/manifest/verifier.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/tests/e2e-tests/manifest/verifier.json -------------------------------------------------------------------------------- /crates/tests/e2e-tests/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/tests/e2e-tests/src/main.rs -------------------------------------------------------------------------------- /crates/tests/e2e-tests/src/server.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/tests/e2e-tests/src/server.rs -------------------------------------------------------------------------------- /crates/tests/test-programs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/tests/test-programs/Cargo.toml -------------------------------------------------------------------------------- /crates/tests/test-programs/src/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/tests/test-programs/src/prover.rs -------------------------------------------------------------------------------- /crates/tests/test-programs/src/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/crates/tests/test-programs/src/verifier.rs -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/flake.nix -------------------------------------------------------------------------------- /podman-compose.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gevulotnetwork/gevulot/HEAD/podman-compose.yml -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "stable" 3 | --------------------------------------------------------------------------------