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
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
29 changes: 24 additions & 5 deletions docs/pages/noir-circuits.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -59,22 +59,41 @@ 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
export PATH="$PATH:$HOME/.nargo/bin" # installer writes this to your shell profile, not this shell
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:
Both `noirup` and `nargo` land in `~/.nargo/bin`, so the export above covers the rest of this
session. New shells pick it up from the profile the installer edited.

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