gnark

(★ 1,730)

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

File Explorer

ZIP Download

- CHANGELOG.tpl.md
- config.yml
- - bug_report.md
  - feature_request.md
- - pr.yml
  - push.yml
  - security-code-scanner.yml
  - slack-notifications.yml
- dependabot.yml
- pull_request_template.md
- downloads.gotpl
- package.gotpl
- .create-new-release.sh
- 2022-10 - Kudelski - gnark-crypto.pdf
- 2024-05 - Sigma Prime - kzg.pdf
- 2024-05 - zksecurity - gnark std.pdf
- 2024-09 - Least Authority - arithm and GKR.pdf
- 2024-11 - Least Authority - Linea zkEVM.pdf
- - bellman_test.go
  - groth16.go
  - groth16_test.go
- - plonk.go
  - plonk_test.go
- - options_test.go
  - solidity.go
  - solidity_test.go
  - verifyingkey.go
- - vector.go
  - witness.go
  - witness_test.go
- backend.go
- - coeff.go
  - marshal.go
  - r1cs_test.go
  - solver.go
  - system.go
- - coeff.go
  - marshal.go
  - r1cs_test.go
  - solver.go
  - solver_ecmul_benchmark_test.go
  - system.go
- - coeff.go
  - marshal.go
  - r1cs_test.go
  - solver.go
  - system.go
- - coeff.go
  - marshal.go
  - r1cs_test.go
  - solver.go
  - system.go
- - coeff.go
  - marshal.go
  - r1cs_test.go
  - solver.go
  - system.go
- - coeff.go
  - marshal.go
  - solver.go
  - system.go
- - coeff.go
  - marshal.go
  - r1cs_test.go
  - solver.go
  - system.go
- - hint.go
  - hint_registry.go
  - hint_test.go
  - options.go
- - coeff.go
  - marshal.go
  - r1cs_test.go
  - solver.go
  - system.go
- blueprint.go
- blueprint_batch_inverse.go
- blueprint_hint.go
- blueprint_logderivlookup.go
- blueprint_r1cs.go
- blueprint_scs.go
- commitment.go
- core.go
- debug_info.go
- doc.go
- field.go
- field_test.go
- gkr.go
- hint.go
- instruction_tree.go
- level_builder_test.go
- linear_expression.go
- log.go
- marshal.go
- r1cs.go
- r1cs_sparse.go
- r1cs_sparse_test.go
- r1cs_test.go
- string_utils.go
- system.go
- term.go
- debug.go
- debug_set.go
- debug_unset.go
- symbol_table.go
- CITATION.bib
- KNOWN_USERS.md
- - accelerated_gpu_example_test.go
  - doc.go
- - cubic.go
  - cubic_test.go
- - emulated.go
  - emulated_test.go
- - exponentiate.go
  - exponentiate_test.go
- - doc.go
  - inputpacking_test.go
- - mimc.go
  - mimc_test.go
- - main.go
- - doc.go
  - print_constraints_r1cs_test.go
  - print_constraints_scs_test.go
- - doc.go
  - pubkeyhashing_test.go
- - account.go
  - account_test.go
  - circuit.go
  - circuit_test.go
  - error.go
  - operator.go
  - rollup_test.go
  - transfer.go
- - main.go
- - doc.go
  - sudoku_example_test.go
- - doc.go
  - witness_test.go
- doc.go
- - coeff_table.go
  - commitment.go
- - field.go
  - leaf.go
  - schema.go
  - schema_test.go
  - tags.go
  - tags_test.go
  - walk.go
- api.go
- builder.go
- circuit.go
- compile.go
- variable.go
- witness.go
- - defer.go
- - compilelogger.go
  - compilelogger_test.go
- - frontendtype.go
- - gkr.go
  - gkr_test.go
  - sumcheck.go
  - utils_test.go
- - hints.go
- - kvstore.go
  - kvstore_test.go
- - doc.go
  - issue_836_test.go
  - issue_897_test.go
- - small-rational.go
  - small_rational_test.go
  - vector.go
- - circuits_test.go
  - smallfield_assert.go
- - latest_stats.csv
  - snippet.go
  - stats.go
  - stats_test.go
- - algo_utils.go
  - algo_utils_test.go
  - convert.go
  - convert_test.go
  - field_to_curve.go
  - heap.go
  - parallelize.go
  - search.go
  - slices.go
  - slices_test.go
- - widecommitter.go
- bytes.go
- io.go
- roundtrip.go
- logger.go
- operation_test.go
- profile.go
- profile_test.go
- profile_worker.go
- - defaults.go
  - doc.go
  - interfaces.go
- - io.go
  - io_test.go
- - conversion.go
  - conversion_test.go
  - hints.go
- - 01-ecrecover.go
  - 01-ecrecover_test.go
  - 02-sha256.go
  - 04-id.go
  - 05-expmod.go
  - 05-expmod_test.go
  - 06-bnadd.go
  - 07-bnmul.go
  - 08-bnpairing.go
  - 10-kzg_point_evaluation.go
  - 10-kzg_point_evaluation128_test.go
  - 10-kzg_point_evaluation_test.go
  - 11-blsg1add.go
  - 12-blsg1msm.go
  - 13-blsg2add.go
  - 14-blsg2msm.go
  - 15-blspairing.go
  - 16-blsmaptog1.go
  - 17-blsmaptog2.go
  - 256-p256verify.go
  - 256-p256verify_test.go
  - bls_test.go
  - bn_test.go
  - doc.go
  - hints.go
  - kzg_trusted_setup.json
  - solver_benchmark_test.go
- - settings.go
  - transcript.go
  - transcript_test.go
- - api.go
  - api_test.go
  - compile.go
  - example_test.go
- - hash.go
  - registry.go
- - doc_test.go
  - nativecommit.go
  - nativecommit_test.go
- - polynomial.go
  - polynomial_test.go
- - rangecheck.go
  - rangecheck_commit.go
  - rangecheck_plain.go
  - rangecheck_test.go
- - doc.go
  - wrapped_hash.go
  - wrapped_hash_test.go
- - doc_map_test.go
  - doc_mux_test.go
  - doc_partition_test.go
  - multiplexer.go
  - multiplexer_test.go
  - mux.go
  - mux_test.go
  - slice.go
  - slice_test.go
- doc.go
- hints.go
- hints_test.go
- - kzgsrs.go
  - options.go
- assert.go
- assert_checkcircuit.go
- assert_fuzz.go
- assert_mismatch_test.go
- assert_options.go
- assert_profile.go
- assert_solidity.go
- blueprint_solver.go
- blueprint_solver_test.go
- commitments_test.go
- doc.go
- end_to_end.go
- engine.go
- engine_test.go
- flag_prover_checks.go
- flag_release_checks.go
- flag_smallfield.go
- flag_smallfield_unset.go
- flag_solccheck.go
- flag_solccheck_unset.go
- flag_unset.go
- solver_test.go
.gitignore
.gitlint
.golangci.yml
AGENTS.md
CHANGELOG.md
CODE_OF_CONDUCT.md
CONTRIBUTING.md
debug_test.go
doc.go
go.mod
go.sum
integration_test.go
LICENSE
README.md
SECURITY.md
version_test.go

# Use via CDN

jsDelivr

jsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.

Version

File

Link

Example

Command Glossary

Commands referenced in this DOCs, explained below.

🔍

`go generate`

View Details ▼

Generate Go files by running commands within source files.

go generate

Generate Go files by running commands within source files:

🔍

`go get`

View Details ▼

Add a dependency package, or download packages in legacy GOPATH mode.
Note: `./...` is a Go package pattern understood by Go tooling. It matches the current package and all packages recursively under the current directory.

go get {{example.com/pkg}}

Add a specified package to `go.mod` in module-mode or install the package in GOPATH-mode:

go get {{example.com/pkg}}@{{v1.2.3}}

Modify the package with a given version in module-aware mode:

go get {{example.com/pkg}}@{{none}}

Remove a specified package:

🔍

`go run`

View Details ▼

Compile and run Go code without saving a binary.

go run {{path/to/file.go}}

Run a Go file:

go run {{path/to/package}}

Run a main Go package:

🔍

`go test`

View Details ▼

Test Go packages (files have to end with `_test.go`).
Note: `./...` is a Go package pattern understood by Go tooling. It matches the current package and all packages recursively under the current directory.

go test

Test the package found in the current directory:

go test -v

[v]erbosely test the package in the current directory:

go test -v ./...

Test the packages in the current directory and all subdirectories:

# Project Badges

Twitter URL Visit
License Visit
Go Report Card Visit
PkgGoDev Visit

gnark

Owner Repos

File Explorer

# Use via CDN

Command Glossary

`go generate`

`go get`

`go run`

`go test`

# Project Badges

Was this content helpful?

Recent Feedback

gnark

Owner Repos

File Explorer

# Use via CDN

Command Glossary

go generate

go get

go run

go test

# Project Badges

Was this content helpful?

Recent Feedback

Download README

`go generate`

`go get`

`go run`

`go test`