StoffelVM – A WIP VM for Multiparty Computation
Hey HN! We’re building the StoffelVM, a virtual machine designed to make secure multi-party computation accessible to regular developers. Right now it’s early-stage: - We’ve built the VM core - But MPC isn’t wired up yet We are looking for feedback on the general approach. If you are interested in building something that would be a good fit, feel free to reach out! Details are in my bio.
Does the same job
all alternatives →
- XVXs-vm – A small virtual machine written in Python2015 · gedrap.github.io · ▲34
- HOHigh-order Virtual Machine (HVM) – A Parallel Functional Runtime2022 · github.com · ▲150
- QCQvm-Create-Windows-Qube: The most secure and private way to run Windows2021 · github.com · ▲120
- LVLaunch VM workloads securely and instantaneously, without VMs2021 · ▲12
Hello HN! We've been working on a new hypervisor https://kwarantine.xyz that can run strongly isolated containers. This is still a WIP, but we wanted to give the community an idea about our approach, its benefits, and various use cases it unlocks. Today, VMs are used to host containers, and make up for the lack of strong security as well as kernel isolation in containers. This work adds this missing security piece in containers. We plan on launching a free private beta soon. Meanwhile, we'd deeply appreciate any feedback, and happy to answer any questions here or on our slack…
More life & fun this month
the category →- TL
Life & fun · 10d ago · louisabraham.github.io
Photosynthesis fires two of your iPhone
Life & fun · 28d ago · photosynthesis.camera
SoloUno▲310Take control of hair pulling, nail biting & skin picking
Life & fun · 28d ago · solouno.io
Scroll through all 43,252,003,274,489,856,000 reachable Rubik's Cube permutations.
Life & fun · 26d ago · everycube.alen.is
Hi HN, I built Eigendrum, a web tool that solves the 2D wave equation for arbitrary shapes so you can hear what they sound like as drums. How it works: * Solves -∇²u = λu using finite element analysis (Kφ = λMφ) on a triangle mesh. * Validated to <0.1% error against closed-form solutions for circles (Bessel zeros) and rectangles. * Sound model factors in strike location, Rayleigh damping, and mallet width. * Includes Kac drums I & II to demonstrate identical sound spectra from different geometries. * No frameworks, build steps, or dependencies. Repo and tests:…
Life & fun · 26d ago · baselashraf81.github.io
Launched alongside, March 2025
the whole month →
Mimic Human Research & Save Findings in AI Knowledge Base
AI · 2025 · sider.ai
