Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
67 changes: 67 additions & 0 deletions .github/labels.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,67 @@
- name: "bug 🐛"
color: "d73a4a"
description: "Something isn't working"

- name: "documentation 📜"
color: "0075ca"
description: "Improvements or additions to documentation"

- name: "feature ✨"
color: "a2eeef"
description: "New feature or request"

- name: "performance ⚡"
color: "fbca04"
description: "Benchmarks or performance improvements"

- name: "question ❓"
color: "5319e7"
description: "Further information is requested"

- name: "structure 🧱"
color: "0052cc"
description: "Structure refactors or changes"

- name: "test ✏️"
color: "0e8a16"
description: "Testing improvements"

- name: "priority-high 🔥"
color: "b60205"
description: "High priority tasks"

- name: "priority-medium 🚧"
color: "fbca04"
description: "Medium priority tasks"

- name: "priority-low 🌱"
color: "0e8a16"
description: "Low priority tasks"

- name: "good first issue 👋"
color: "7057ff"
description: "Good for newcomers"

- name: "help wanted 🆘"
color: "008672"
description: "Extra attention is needed"

- name: "tech debt 🏗️"
color: "ff7619"
description: "Technical debt and cleanup tasks"

- name: "ci/cd 🔄"
color: "44cc11"
description: "Changes to CI/CD pipeline"

- name: "dependencies 📦"
color: "cb7eed"
description: "Dependency updates and maintenance"

- name: "discussion 💭"
color: "5319e7"
description: "Needs discussion or decisions"

- name: "security 🔒"
color: "d93f0b"
description: "Security-related changes or fixes"
26 changes: 26 additions & 0 deletions .github/workflows/sync_labels.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
name: Sync Labels

on:
push:
branches:
- main
paths:
- '.github/labels.yaml'
workflow_dispatch:

permissions:
issues: write
pull-requests: write

jobs:
sync:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4

- uses: micnncim/action-label-syncer@v1
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
manifest: .github/labels.yaml
prune: false
144 changes: 72 additions & 72 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

43 changes: 35 additions & 8 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,20 +1,47 @@
# Client Side Prover
<p align="center">
<img src="https://raw.githubusercontent.com/pluto/.github/main/profile/assets/assets_ios_Pluto-1024%401x.png" alt="Pluto Logo" width="50" height="50">
<br>
<b style="font-size: 24px;">Pluto</b>
</p>
<p align="center">
<a href="https://t.me/pluto_xyz/1"><img src="https://img.shields.io/badge/Telegram-Group-8B5CF6?style=flat-square&logo=telegram&logoColor=white&labelColor=24292e&scale=1.5" alt="Telegram"></a>
<a href="https://docs.pluto.xyz/"><img src="https://img.shields.io/badge/Docs-Pluto-8B5CF6?style=flat-square&logo=readme&logoColor=white&labelColor=24292e&scale=1.5" alt="Docs"></a>
<img src="https://img.shields.io/badge/License-Apache%202.0-8B5CF6.svg?label=license&labelColor=2a2f35" alt="License">
</p>

> [!NOTE]
> This repository is a fork of the original hosted at [https://github.com/microsoft/nova](https://github.com/microsoft/nova) and also forked from [https://github.com/argumentcomputer/arecibo](https://github.com/argumentcomputer/arecibo).
---

## Project Structure
The repository contains several key components:
- `client-side-prover-frontend`: Frontend adapters for both Noir and Circom
- `client-side-prover`: Backend implementation of the client side prover
# Edge
> Enabling private computation on the edge.

## Features
- Supernova NIVC folding scheme implementation
- Support for both Noir and Circom circuit frameworks
- Client-side proving capabilities through WebAssembly
- Recursive proof generation and verification

## Project Structure
The repository contains several key components:
- `edge-frontend`: Frontend adapters for both Noir and Circom
- `edge-prover`: Backend implementation of the client side prover

## Usage
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.
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.

## Contributing

We welcome contributions to our open-source projects. If you want to contribute or follow along with contributor discussions, join our main [Telegram channel](https://t.me/pluto_xyz/1) to chat about Pluto's development.

Our contributor guidelines can be found in our [CONTRIBUTING.md](https://github.com/pluto/.github/blob/main/profile/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.

## License

This project is licensed under the Apache V2 License - see the [LICENSE](LICENSE) file for details.

## Acknowledgements
> [!NOTE]
> This repository is a fork of the original hosted at [https://github.com/microsoft/nova](https://github.com/microsoft/nova) and also forked from [https://github.com/argumentcomputer/arecibo](https://github.com/argumentcomputer/arecibo).
26 changes: 13 additions & 13 deletions frontend/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,28 +1,28 @@
[package]
name ="client-side-prover-frontend"
name ="edge-frontend"
version="0.1.0"
edition="2021"

[dependencies]
client-side-prover={ path="../prover" }
serde ={ workspace=true }
serde_json ={ workspace=true }
thiserror ={ workspace=true }
tracing ={ workspace=true }
bellpepper-core ={ workspace=true }
halo2curves ={ workspace=true }
edge-prover ={ path="../prover" }
serde ={ workspace=true }
serde_json ={ workspace=true }
thiserror ={ workspace=true }
tracing ={ workspace=true }
bellpepper-core={ workspace=true }
halo2curves ={ workspace=true }

# noir
acvm ={ git="https://github.com/noir-lang/noir", rev="v1.0.0-beta.2" }
noirc_abi={ git="https://github.com/noir-lang/noir", rev="v1.0.0-beta.2" }
ark-bn254="0.5"

[dev-dependencies]
tracing-test ={ workspace=true }
tempdir ="0.3.7"
client-side-prover-frontend={ path=".", features=["demo"] }
tempfile ="3.17"
bincode ={ workspace=true }
tracing-test ={ workspace=true }
tempdir ="0.3.7"
edge-frontend={ path=".", features=["demo"] }
tempfile ="3.17"
bincode ={ workspace=true }

[features]
demo=[]
12 changes: 6 additions & 6 deletions frontend/src/error.rs
Original file line number Diff line number Diff line change
Expand Up @@ -21,15 +21,15 @@ pub enum FrontendError {
#[error(transparent)]
Io(#[from] std::io::Error),

/// The error is a `client_side_prover::errors::NovaError`
/// The error is a `edge_prover::errors::NovaError`
#[error(transparent)]
Nova(#[from] client_side_prover::errors::NovaError),
Nova(#[from] edge_prover::errors::NovaError),

/// The error is a `client_side_prover::supernova::error::SuperNovaError`
/// The error is a `edge_prover::supernova::error::SuperNovaError`
#[error(transparent)]
SuperNova(#[from] client_side_prover::supernova::error::SuperNovaError),
SuperNova(#[from] edge_prover::supernova::error::SuperNovaError),

/// The error is a [`client_side_prover::fast_serde::SerdeByteError`]
/// The error is a [`edge_prover::fast_serde::SerdeByteError`]
#[error(transparent)]
FastSerde(#[from] client_side_prover::fast_serde::SerdeByteError),
FastSerde(#[from] edge_prover::fast_serde::SerdeByteError),
}
Loading