Skip to content
Merged
Show file tree
Hide file tree
Changes from 4 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
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ The monorepo provides several test scripts for different components:

- **`pnpm noir:test`** - Runs tests for Noir circuits in the `circuits/` directory using
`nargo test`. Requires the
[Noir toolchain](https://noir-lang.org/docs/getting_started/installation) (`nargo`) and
[Noir toolchain](https://noir-lang.org/docs/installation) (`nargo`) and
[Barretenberg](https://github.com/AztecProtocol/aztec-packages/tree/master/barretenberg) (`bb`) to
be installed and on your `PATH`.

Expand Down
4 changes: 2 additions & 2 deletions crates/support/methods/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -25,5 +25,5 @@ Each will have a corresponding image ID, which is a hash identifying the program
[guest programs]: https://dev.risczero.com/terminology#guest-program
[on-chain logic]: ../contracts/
[guest/src/bin]: ./guest/src/bin/
[Guest Code 101]: https://dev.risczero.com/zkvm/developer-guide/guest-code-101
[RISC Zero examples]: https://github.com/risc0/tree/v0.18.0/examples
[Guest Code 101]: https://dev.risczero.com/api/zkvm/guest-code-101
[RISC Zero examples]: https://github.com/risc0/risc0/tree/main/examples
2 changes: 1 addition & 1 deletion docs/pages/CRISP/setup.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ Before getting started, ensure you have installed:
- [Node.js](https://nodejs.org/en/download)
- [pnpm](https://pnpm.io)
- [MetaMask](https://metamask.io)
- Noir toolchain ([`nargo`](https://noir-lang.org/docs/getting_started/quick_start),
- Noir toolchain ([`nargo`](https://noir-lang.org/docs/installation),
[`bb`](https://barretenberg.aztec.network/docs/getting_started))

## Quick Start
Expand Down
2 changes: 1 addition & 1 deletion docs/pages/internals/dkg.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -276,7 +276,7 @@ This circuit runs once, executed by the aggregator.
## P3: User Encryption

With the threshold public key published, users encrypt their private inputs using a specialisation
of the [GRECO](https://blog.theinterfold.com/interfold-cryptography-greco-fhe-zk/) circuit. This
of the [GRECO](https://blog.theinterfold.com/enclave-cryptography-greco-fhe-zk/) circuit. This
proves each ciphertext was formed correctly under the threshold public key without revealing the
plaintext or encryption randomness. The circuit verifies `commit(pk_threshold)` from C5 before
validating the encryption.
Expand Down
25 changes: 20 additions & 5 deletions docs/pages/noir-circuits.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -59,22 +59,37 @@ and **bb** versions.

## Toolchain

Install Noir (or rely on CI / Docker):
Building the circuits needs two tools, and each has its own installer (or rely on CI / Docker):

- **nargo** — the Noir compiler, installed through `noirup`
- **bb** — the [Barretenberg](https://barretenberg.aztec.network/docs/getting_started) proving
backend, installed through the Interfold CLI

### nargo

The script below installs `noirup`, the version manager. Run `noirup` afterwards to get the pinned
compiler:

```bash
curl -L https://noir-lang.org/install | bash # nargo + bb
nargo --version # match zk-prover / versions.json
bb --version
curl -L https://raw.githubusercontent.com/noir-lang/noirup/main/install | bash
noirup -v v1.0.0-beta.26 # NOIR_TOOLCHAIN in .github/workflows/ci.yml
nargo --version
```
Comment thread
coderabbitai[bot] marked this conversation as resolved.

**Recommended:** use the Interfold CLI so **bb** and artifacts match the prover:
### bb

`interfold noir setup` fetches the Barretenberg version pinned in `crates/zk-prover/versions.json`
(`required_bb_version`), so your prover and your local builds agree:

```bash
interfold noir status
interfold noir setup
interfold noir setup --force # reinstall
```

The CLI keeps this copy under `~/.interfold/noir` instead of on your `PATH`, so
`interfold noir status` is what reports the installed version.

## Compile, format, test

From the **repository root**:
Expand Down
2 changes: 1 addition & 1 deletion docs/theme.config.jsx
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ export default {
project: {
link: 'https://github.com/gnosisguild/interfold',
},
docsRepositoryBase: 'https://github.com/gnosisguild/interfold-docs',
docsRepositoryBase: 'https://github.com/theinterfold/interfold/tree/main/docs',
darkMode: false,
nextThemes: {
defaultTheme: 'light',
Expand Down
4 changes: 2 additions & 2 deletions examples/CRISP/Readme.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ decision-making, leveraging fully homomorphic encryption (FHE) and distributed t
cryptography (DTC) to enable verifiable secret ballots. Built with Interfold, CRISP safeguards
democratic systems and decision-making applications against coercion, manipulation, and other
vulnerabilities. To learn more about CRISP, you can read our
[blog post](https://blog.interfold.network/crisp-private-voting-secret-ballot-fhe-zkp-mpc/) or visit
[blog post](https://blog.theinterfold.com/crisp-private-voting-secret-ballot-fhe-zkp-mpc/) or visit
the [documentation](https://docs.theinterfold.com/CRISP/introduction).

## Project Structure
Expand Down Expand Up @@ -43,7 +43,7 @@ Before getting started, ensure you have installed:
- [pnpm](https://pnpm.io)
- [MetaMask](https://metamask.io)
- [`yq`](https://github.com/mikefarah/yq) — `scripts/dev_cipher.sh` reads node addresses with it
- Noir toolchain: [`nargo`](https://noir-lang.org/docs/getting_started/quick_start) and
- Noir toolchain: [`nargo`](https://noir-lang.org/docs/installation) and
[`bb`](https://barretenberg.aztec.network/docs/getting_started). Install the versions CI pins,
since other versions may not compile the circuits:
- `nargo`: `noirup -v v1.0.0-beta.26` (`NOIR_TOOLCHAIN` in `.github/workflows/ci.yml`)
Expand Down
2 changes: 1 addition & 1 deletion examples/CRISP/client/src/components/Footer.tsx
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ const Footer: React.FC = () => {
<a href='https://github.com/gnosisguild/interfold' target='_blank' rel='noopener noreferrer' aria-label='GitHub'>
<GithubLogo size={18} />
</a>
<a href='https://x.com/InterfoldE3' target='_blank' rel='noopener noreferrer' aria-label='X'>
<a href='https://x.com/theinterfold' target='_blank' rel='noopener noreferrer' aria-label='X'>
<TwitterLogo size={18} />
</a>
<a href='https://t.me/enclave_e3' target='_blank' rel='noopener noreferrer' aria-label='Telegram'>
Expand Down
4 changes: 2 additions & 2 deletions scripts/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -235,7 +235,7 @@ the generator would produce.

### Prerequisites

- `nargo` - Noir compiler ([install](https://noir-lang.org/docs/getting_started/installation/))
- `nargo` - Noir compiler ([install](https://noir-lang.org/docs/installation))
- `bb` - Barretenberg prover (for verification keys)

## Circuit Artifacts
Expand Down Expand Up @@ -405,7 +405,7 @@ The `generate:verifiers` script in package.json passes `--circuits` with the on-

### Prerequisites

- `nargo` - Noir compiler ([install](https://noir-lang.org/docs/getting_started/installation/))
- `nargo` - Noir compiler ([install](https://noir-lang.org/docs/installation))
- `bb` - Barretenberg CLI for proof system operations

### Output Example
Expand Down
Loading