Search Results for "secure virtual machine"

Microsandbox is an open source platform designed to securely execute untrusted code in isolated environments using lightweight virtualization techniques. It focuses on combining strong security guarantees with fast startup times by leveraging hardware-level microVM isolation instead of relying solely on traditional containers or full virtual machines. It aims to solve the common tradeoffs between speed, isolation, and control that developers encounter when running untrusted workloads. It...

DeepProve is an advanced cryptographic framework designed to verify machine learning model inference using zero-knowledge proofs, enabling trustless validation of AI computations without exposing underlying data. The project focuses on zkML, a rapidly emerging field that combines machine learning with zero-knowledge cryptography to ensure both privacy and correctness. It supports neural network architectures such as multilayer perceptrons and convolutional neural networks, allowing...

forkd is a microVM sandbox runtime designed for high-speed AI agent fan-out. Instead of cold-booting a separate virtual machine for every worker, it forks children from a warmed parent snapshot and uses copy-on-write behavior to share the initial memory state. This makes it useful for spawning many isolated agent environments quickly during parallel research, testing, or code execution. The project is focused on runtime performance, sandbox isolation, and efficient branching from a live or prepared VM state. ...