Pluto
Enabling private computation on the edge.
- Supernova NIVC folding scheme implementation
- Support for both Noir and Circom circuit frameworks
- Client-side proving capabilities through native ARM & WebAssembly
- Recursive proof generation and verification
The repository contains several key components:
edge-frontend: Frontend adapters for both Noir and Circomedge-prover: Backend implementation of the client side prover
This repository and its crates are not production ready. Do not use them in production. No audits have been done and none are planned.
With that said, work has been done to make the implementation here work with an offline setup phase. Therefore, this can be used run proofs on an edge device which can later be verified by a remote server.
We welcome contributions to our open-source projects. If you want to contribute or follow along with contributor discussions, join our main Telegram channel to chat about Pluto's development.
Our contributor guidelines can be found in our CONTRIBUTING.md.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be licensed as above, without any additional terms or conditions.
This project is licensed under the Apache V2 License - see the LICENSE file for details.
Note
This repository is a fork of the original hosted at https://github.com/microsoft/nova and also forked from https://github.com/argumentcomputer/arecibo.