{"adoption": {"forks": 22, "observed_at": "2026-08-28T04:05:28.292912+00:00", "stars": 1727}, "canonical_url": "https://ross.abutalabs.com/products/n-ary_notebooks", "card": {"archived": false, "artifact_type": "learning-resource", "description": "Notebooks covering mathematical analysis of ZKP building blocks, algorithm implementations of various proof systems, and protocol optimization techniques.", "domain": ["tutorials", "mathematics"], "enriched": true, "function": ["interpreter", "math", "developer-tools"], "health_score": 58, "homepage": null, "language": "Jupyter Notebook", "license": "MIT", "license_family": "permissive", "maturity": "active", "member_repos": ["inference-labs-inc/n-ary_notebooks"], "name": "inference-labs-inc/n-ary_notebooks", "platform": ["python", "cross-platform"], "pushed_at": "2026-01-20T05:42:14+00:00", "repo": "inference-labs-inc/n-ary_notebooks", "stars": 1727, "tags": ["zero-knowledge-proofs", "jupyter-notebooks", "sum-check-protocol", "gkr-protocol", "multilinear-extensions", "arithmetic-circuits", "cryptography-education", "interactive-proofs", "cryptography", "algorithms"], "topics": [], "urls": [], "use_cases": ["learn how the sum-check protocol works with worked examples", "understand multilinear extensions and polynomial interpolation over boolean hypercubes", "study the GKR protocol and its relationship to circuit depth", "experiment with small-scale implementations of proof systems", "build intuition for soundness and error bounds in interactive proofs", "visualize arithmetic circuits and protocol mechanics"], "what_it_is": "A collection of Jupyter notebooks providing mathematically precise, pedagogical explanations of zero-knowledge proof building blocks such as the sum-check protocol, multilinear extensions, arithmetic circuits, and the GKR protocol. It includes executable Python examples and visualizations for experimentation, not production-ready cryptographic implementations.", "when_to_avoid": ["you need a production-ready zk-SNARK prover or verifier", "you need a performant or audited cryptographic library", "you want a complete protocol specification rather than working notes"], "when_to_choose": ["you want to deeply understand the math behind zk proof systems", "you prefer interactive, executable notebooks over textbooks", "you are researching or teaching interactive proof protocols", "you want to prototype small examples over finite fields"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/n-ary_notebooks", "repo": "inference-labs-inc/n-ary_notebooks", "role": "main", "score": 48}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:05:28.292912+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T03:32:17.333823+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0f4794fd054d974b98969fd94bd41d5e78a74fffc43fbf3f979528710a82f195", "fetched_at": "2026-08-28T04:05:28.292912+00:00", "kind": "readme", "missing": false, "url": "https://github.com/inference-labs-inc/n-ary_notebooks"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:05:28.292912+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T03:32:17.333823+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0f4794fd054d974b98969fd94bd41d5e78a74fffc43fbf3f979528710a82f195", "fetched_at": "2026-08-28T04:05:28.292912+00:00", "kind": "readme", "missing": false, "url": "https://github.com/inference-labs-inc/n-ary_notebooks"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T03:32:17.333823+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0f4794fd054d974b98969fd94bd41d5e78a74fffc43fbf3f979528710a82f195", "fetched_at": "2026-08-28T04:05:28.292912+00:00", "kind": "readme", "missing": false, "url": "https://github.com/inference-labs-inc/n-ary_notebooks"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:05:28.292912+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:05:28.292912+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:05:28.292912+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T03:32:17.333823+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0f4794fd054d974b98969fd94bd41d5e78a74fffc43fbf3f979528710a82f195", "fetched_at": "2026-08-28T04:05:28.292912+00:00", "kind": "readme", "missing": false, "url": "https://github.com/inference-labs-inc/n-ary_notebooks"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:05:28.292912+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:05:28.292912+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T03:32:17.333823+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0f4794fd054d974b98969fd94bd41d5e78a74fffc43fbf3f979528710a82f195", "fetched_at": "2026-08-28T04:05:28.292912+00:00", "kind": "readme", "missing": false, "url": "https://github.com/inference-labs-inc/n-ary_notebooks"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:05:28.292912+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:05:28.292912+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:05:28.292912+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T03:32:17.333823+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0f4794fd054d974b98969fd94bd41d5e78a74fffc43fbf3f979528710a82f195", "fetched_at": "2026-08-28T04:05:28.292912+00:00", "kind": "readme", "missing": false, "url": "https://github.com/inference-labs-inc/n-ary_notebooks"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:05:28.292912+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:05:28.292912+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T03:32:17.333823+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0f4794fd054d974b98969fd94bd41d5e78a74fffc43fbf3f979528710a82f195", "fetched_at": "2026-08-28T04:05:28.292912+00:00", "kind": "readme", "missing": false, "url": "https://github.com/inference-labs-inc/n-ary_notebooks"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T03:32:17.333823+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0f4794fd054d974b98969fd94bd41d5e78a74fffc43fbf3f979528710a82f195", "fetched_at": "2026-08-28T04:05:28.292912+00:00", "kind": "readme", "missing": false, "url": "https://github.com/inference-labs-inc/n-ary_notebooks"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T03:32:17.333823+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0f4794fd054d974b98969fd94bd41d5e78a74fffc43fbf3f979528710a82f195", "fetched_at": "2026-08-28T04:05:28.292912+00:00", "kind": "readme", "missing": false, "url": "https://github.com/inference-labs-inc/n-ary_notebooks"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T03:32:17.333823+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0f4794fd054d974b98969fd94bd41d5e78a74fffc43fbf3f979528710a82f195", "fetched_at": "2026-08-28T04:05:28.292912+00:00", "kind": "readme", "missing": false, "url": "https://github.com/inference-labs-inc/n-ary_notebooks"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 63, "longevity": 38, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 545, "days_push": 225, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 48, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}