Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: Update index.md #3910

Merged
merged 1 commit into from
Dec 22, 2023
Merged

chore: Update index.md #3910

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
13 changes: 7 additions & 6 deletions docs/docs/index.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,12 +24,13 @@ sidebar_position: 0

Noir, a domain-specific language crafted for SNARK proving systems, stands out with its simplicity, flexibility,
and robust capabilities. Unlike conventional approaches that compile directly to a fixed NP-complete language,
Noir takes a two-pronged path. It first compiles to an adaptable intermediate language known as ACIR. From there,
depending on the project's needs, ACIR can be further compiled into an arithmetic circuit for integration with Aztec's
barretenberg backend or transformed into a rank-1 constraint system suitable for R1CS backends like Arkworks' Marlin
backend, among others.
Noir takes a two-pronged path. First, Noir compiles to an adaptable intermediate language known as ACIR.

This innovative design introduces unique challenges, yet it strategically separates the programming language from the
From there, depending on a given project's needs, ACIR can be further compiled into an arithmetic circuit for integration with Aztec's
barretenberg backend, or transformed into a rank-1 constraint system suitable for R1CS backends like Arkworks' Marlin
backend (among others).

This innovative design introduces unique challenges; however, this approach also strategically separates the programming language from the
backend. Noir's approach echoes the modular philosophy of LLVM, offering developers a versatile toolkit for cryptographic
programming.

Expand Down Expand Up @@ -61,7 +62,7 @@ within your projects.

## Libraries

Noir does not currently have an official package manager. You can find a list of available Noir libraries in the
Noir does not currently have an official package manager. You can find a list of some of the available Noir libraries in the
[awesome-noir repo here](https://github.com/noir-lang/awesome-noir#libraries).

Some libraries that are available today include:
Expand Down