mirror of
https://github.com/ETHorHIL/semaphore_r0.git
synced 2026-01-10 12:07:57 -05:00
32 lines
1.3 KiB
Markdown
32 lines
1.3 KiB
Markdown
# Semaphore in Risc-0
|
|
|
|
This repository contains an implementation of [Semaphore](https://github.com/semaphore-protocol/semaphore/blob/main/packages/circuits/semaphore.circom) using [risczero](https://www.risczero.com/), it can serve as a practical example.
|
|
|
|
## Learning path
|
|
|
|
If you want to learn how to use Risc-0 you should start with [this](https://dev.risczero.com/api/zkvm/quickstart). You can ignore Bonsai for learning about circuits. The risc0 github contains a lot of very useful [examples](https://github.com/risc0/risc0/tree/ea88d8f39416509b4a3fd0e71c123d4eeb8c2b06/examples). Another great ressource is [Thor K.'s examples](https://github.com/thor314/circuit-examples)
|
|
|
|
## Directory Structure
|
|
|
|
```text
|
|
|
|
├── Cargo.toml
|
|
├── merkletree
|
|
│ └── src
|
|
│ └── lib.rs
|
|
├── host
|
|
│ ├── Cargo.toml
|
|
│ └── src
|
|
│ └── main.rs <-- [Host, generate circuit inputs]
|
|
└── methods
|
|
├── Cargo.toml
|
|
├── build.rs
|
|
├── guest
|
|
│ ├── Cargo.toml
|
|
│ └── src
|
|
│ └── bin
|
|
│ └── method_name.rs
|
|
└── src
|
|
└── lib.rs <-- [Guest, contains Semaphore logic]
|
|
```
|