{"id":47444080,"url":"https://github.com/0xpantera/Groth.jl","last_synced_at":"2026-04-06T13:00:56.136Z","repository":{"id":310902542,"uuid":"1041691972","full_name":"0xpantera/Groth.jl","owner":"0xpantera","description":"Groth16 zkSNARK implementation in Julia - modular zero-knowledge proof system built from scratch for learning and research. Prove everything, reveal nothing.","archived":false,"fork":false,"pushed_at":"2026-03-31T13:36:33.000Z","size":1286,"stargazers_count":16,"open_issues_count":0,"forks_count":1,"subscribers_count":0,"default_branch":"master","last_synced_at":"2026-03-31T15:07:43.451Z","etag":null,"topics":["abstract-algebra","bilinear-pairing","cryptography","elliptic-curve-cryptography","groth16","zk"],"latest_commit_sha":null,"homepage":"https://0xpantera.github.io/Groth.jl/","language":"Julia","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/0xpantera.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":"docs/ROADMAP.md","authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":"AGENTS.md","dco":null,"cla":null}},"created_at":"2025-08-20T21:49:22.000Z","updated_at":"2026-03-31T13:32:02.000Z","dependencies_parsed_at":"2025-08-20T23:40:50.358Z","dependency_job_id":"6963de08-959e-43c8-a02e-2f03a1f88813","html_url":"https://github.com/0xpantera/Groth.jl","commit_stats":null,"previous_names":["0xpantera/groth.jl"],"tags_count":2,"template":false,"template_full_name":null,"purl":"pkg:github/0xpantera/Groth.jl","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/0xpantera%2FGroth.jl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/0xpantera%2FGroth.jl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/0xpantera%2FGroth.jl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/0xpantera%2FGroth.jl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/0xpantera","download_url":"https://codeload.github.com/0xpantera/Groth.jl/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/0xpantera%2FGroth.jl/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31473271,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-06T08:36:52.050Z","status":"ssl_error","status_checked_at":"2026-04-06T08:36:51.267Z","response_time":112,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["abstract-algebra","bilinear-pairing","cryptography","elliptic-curve-cryptography","groth16","zk"],"created_at":"2026-03-23T06:00:59.902Z","updated_at":"2026-04-06T13:00:56.128Z","avatar_url":"https://github.com/0xpantera.png","language":"Julia","funding_links":[],"categories":["Cryptography"],"sub_categories":["Zero-Knowledge Proofs"],"readme":"# Groth.jl\n\nGroth.jl is a Julia research platform for **BN254 algebra, pairings, and\nGroth16**.\n\nIt combines:\n\n- inspectable finite-field, extension-field, curve, and pairing code\n- an end-to-end Groth16 setup / prove / verify pipeline\n- benchmark and profiling infrastructure for prover hot paths\n- Pluto-first educational material alongside performance-oriented engineering\n\nThis repository is **research-grade, not production software**. The goals are\nclarity, mathematical correctness, REPL ergonomics, and serious performance\nwork without hiding the underlying algebra.\n\n## What Is Implemented\n\n- **GrothAlgebra**\n  - BN254 `Fq` / `Fr` on a fixed-width Montgomery backend\n  - generic polynomial utilities, cached evaluation domains, FFT / inverse FFT\n  - variable-base MSM, fixed-base tables, and scalar-multiplication helpers\n- **GrothCurves**\n  - BN254 `Fp2` / `Fp6` / `Fp12`\n  - G1 / G2 Jacobian arithmetic and batch normalization\n  - optimal ate pairing with Miller loop and final exponentiation\n- **GrothProofs**\n  - R1CS and QAP conversion\n  - Groth16 setup, proving, verification, and prepared-verifier flow\n  - deterministic benchmark fixtures for `prove_full`\n- **Benchmarks and docs**\n  - reproducible JSON/PNG benchmark artifacts\n  - primitive comparisons against `py_ecc` and local arkworks harnesses\n  - roadmap and implementation notes tied to measured performance work\n\n## Current Status\n\nThe project has moved well beyond a minimal Groth16 demo.\n\n- BN254 primitives no longer run on the original `BigInt` hot path; the main\n  backend is now Montgomery-based.\n- Primitive benchmarks currently beat `py_ecc` across the tracked BN254 suite.\n- The gap to arkworks has narrowed substantially, but arkworks is still ahead.\n- The current larger deterministic `prove_full` baseline is `28.873 ms` in\n  [benchmarks/artifacts/2026-04-01_223859](./benchmarks/artifacts/2026-04-01_223859),\n  down from the original `136.187 ms` baseline captured at the start of the\n  performance investigation.\n- The active roadmap has shifted from broad backend replacement to targeted\n  specialization: limb-native inversion, final-exponentiation work, safer G2\n  GLV exposure, prover-shaped MSM tuning, and then a fresh prover re-baseline.\n\nSee [ROADMAP.md](./ROADMAP.md) for the staged backend history and remaining\nspecialization work.\n\n## Repository Layout\n\n```text\nGroth.jl/\n├── GrothAlgebra/   # finite fields, polynomials, group utilities\n├── GrothCurves/    # BN254 tower fields, curve arithmetic, pairing engine\n├── GrothProofs/    # R1CS, QAP, Groth16 prover / verifier\n├── GrothExamples/  # Pluto notebooks and walkthroughs\n├── GrothCrypto/    # higher-level protocol space\n├── benchmarks/     # BenchmarkTools environment, plots, profiling scripts\n└── docs/           # reference docs, benchmarks, implementation notes\n```\n\nThe sibling repositories in the workspace, such as `ark-works/`, `py_ecc/`,\nand `zk-book/`, are reference checkouts. Active development happens in\n`Groth.jl/`.\n\n## Quick Start\n\n```bash\n# canonical workspace setup\njulia --project=. -e 'using Pkg; Pkg.instantiate(workspace=true)'\n\n# canonical full validation\njulia --project=. scripts/test_all.jl\n\n# package-scoped validation when intentionally narrowed\njulia --project=GrothAlgebra -e 'using Pkg; Pkg.test()'\njulia --project=GrothCurves -e 'using Pkg; Pkg.test()'\njulia --project=GrothProofs -e 'using Pkg; Pkg.test()'\n\n# benchmark harness\njulia --project=. benchmarks/run.jl --list-profiles\njulia --project=. benchmarks/run.jl --profile=quick\njulia --project=. benchmarks/plot.jl\n\n# docs\njulia --project=docs docs/make.jl\n```\n\nKey notebooks live in `GrothExamples/`, starting with:\n\n- `src/r1cs_qap_pluto.jl`\n- `src/r1cs_qap_groth_pluto.jl`\n\n## Documentation Map\n\n- [ROADMAP.md](./ROADMAP.md) — staged BN254 backend roadmap and remaining work\n- [benchmarks/README.md](./benchmarks/README.md) — benchmark methodology and\n  current artifacts\n- [docs/src/benchmarks.md](./docs/src/benchmarks.md) — docs-site benchmark page\n- [docs/PACKAGE_REFERENCE.md](./docs/PACKAGE_REFERENCE.md) — package-level\n  reference and repository notes\n- [docs/Implementation_vs_Arkworks.md](./docs/Implementation_vs_Arkworks.md) —\n  structural comparison with arkworks\n- [docs/RareSkills_Groth16_Map.md](./docs/RareSkills_Groth16_Map.md) —\n  textbook-to-code mapping\n\n## Performance Snapshot\n\nGroth.jl now has two useful external reference points:\n\n- **vs `py_ecc`**: current primitive benchmarks put Groth.jl ahead across the\n  tracked BN254 scalar, accumulation, and pairing suite\n- **vs arkworks**: Groth.jl has narrowed the gap sharply since the initial\n  `BigInt` backend, but arkworks remains the stronger performance target\n\nThis repo is therefore best understood as:\n\n- a serious Julia implementation of BN254 algebra, pairings, and Groth16\n- a research and optimization platform\n- not yet a drop-in replacement for a production Rust stack\n\n## Development Notes\n\n- Follow the repo and workspace `AGENTS.md` files.\n- Use `execplans/` for non-trivial work.\n- Keep benchmarks and docs in sync with user-visible behavior and measured\n  performance changes.\n- Prefer measured claims over aspirational ones.\n\n## References\n\n- [arkworks](https://github.com/arkworks-rs)\n- [RareSkills Zero Knowledge Book](https://github.com/zkCollective/zk-book)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2F0xpantera%2FGroth.jl","html_url":"https://awesome.ecosyste.ms/projects/github.com%2F0xpantera%2FGroth.jl","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2F0xpantera%2FGroth.jl/lists"}