diff --git a/.github/SOLIDITY_COMPAT_ISSUE.md b/.github/SOLIDITY_COMPAT_ISSUE.md index ce9f92e2d..4ed7babd3 100644 --- a/.github/SOLIDITY_COMPAT_ISSUE.md +++ b/.github/SOLIDITY_COMPAT_ISSUE.md @@ -1,4 +1,4 @@ -Compatibility with the [Arecibo](https://github.com/lurk-lab/arecibo) dependency has been broken by commit [`__COMMIT__`](__COMMIT_URL__) from __PR_URL__. +Compatibility with the [Arecibo](https://github.com/argumentcomputer/arecibo) dependency has been broken by commit [`__COMMIT__`](__COMMIT_URL__) from __PR_URL__. Check the [Solidity compatibility workflow run](__WORKFLOW_URL__) for details. diff --git a/.github/workflows/bench-pr-comment.yml b/.github/workflows/bench-pr-comment.yml index 7fc6e104a..ccd34a959 100644 --- a/.github/workflows/bench-pr-comment.yml +++ b/.github/workflows/bench-pr-comment.yml @@ -16,7 +16,7 @@ jobs: && github.event.issue.state == 'open' && (contains(github.event.comment.body, '!benchmark') || contains(github.event.comment.body, '!gpu-benchmark')) && (github.event.comment.author_association == 'MEMBER' || github.event.comment.author_association == 'OWNER') - uses: lurk-lab/ci-workflows/.github/workflows/bench-pr-comment.yml@main + uses: argumentcomputer/ci-workflows/.github/workflows/bench-pr-comment.yml@main with: default-runner: "self-hosted,gpu-bench" default-benches: "supernova-ci" diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index e683ea260..f24a1be93 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -12,4 +12,4 @@ on: jobs: docs: - uses: lurk-lab/ci-workflows/.github/workflows/docs.yml@main \ No newline at end of file + uses: argumentcomputer/ci-workflows/.github/workflows/docs.yml@main \ No newline at end of file diff --git a/.github/workflows/gpu-bench.yml b/.github/workflows/gpu-bench.yml index c10fdf856..9afb8f80b 100644 --- a/.github/workflows/gpu-bench.yml +++ b/.github/workflows/gpu-bench.yml @@ -20,7 +20,7 @@ jobs: steps: - uses: actions/checkout@v4 with: - repository: lurk-lab/ci-workflows + repository: argumentcomputer/ci-workflows - uses: ./.github/actions/gpu-setup with: gpu-framework: 'cuda' diff --git a/.github/workflows/gpu-ci.yml b/.github/workflows/gpu-ci.yml index 244c6c2de..a977319be 100644 --- a/.github/workflows/gpu-ci.yml +++ b/.github/workflows/gpu-ci.yml @@ -19,7 +19,7 @@ jobs: steps: - uses: actions/checkout@v4 with: - repository: lurk-lab/ci-workflows + repository: argumentcomputer/ci-workflows - uses: ./.github/actions/gpu-setup with: gpu-framework: 'cuda' diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index 5ab2d5ae2..1902ca0c4 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -12,10 +12,10 @@ env: jobs: unused-dependencies: - uses: lurk-lab/ci-workflows/.github/workflows/unused-deps.yml@main + uses: argumentcomputer/ci-workflows/.github/workflows/unused-deps.yml@main rust-version-check: - uses: lurk-lab/ci-workflows/.github/workflows/rust-version-check.yml@main + uses: argumentcomputer/ci-workflows/.github/workflows/rust-version-check.yml@main typos: - uses: lurk-lab/ci-workflows/.github/workflows/typos.yml@main \ No newline at end of file + uses: argumentcomputer/ci-workflows/.github/workflows/typos.yml@main \ No newline at end of file diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index ac1dca5d3..99018db5e 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -19,7 +19,7 @@ jobs: steps: - uses: actions/checkout@v4 with: - repository: lurk-lab/ci-workflows + repository: argumentcomputer/ci-workflows - uses: ./.github/actions/ci-env - uses: actions/checkout@v4 - uses: dtolnay/rust-toolchain@stable @@ -39,29 +39,29 @@ jobs: cargo nextest run --profile ci --workspace --cargo-profile dev-ci --features "asm" -E 'test(test_pp_digest)' check-lurk-compiles: - uses: lurk-lab/ci-workflows/.github/workflows/check-lurk-compiles.yml@main + uses: argumentcomputer/ci-workflows/.github/workflows/check-lurk-compiles.yml@main with: runner: "buildjet-8vcpu-ubuntu-2204" packages: "pkg-config libssl-dev protobuf-compiler libprotobuf-dev" # Rustfmt, clippy, doctests code-quality: - uses: lurk-lab/ci-workflows/.github/workflows/lints.yml@main + uses: argumentcomputer/ci-workflows/.github/workflows/lints.yml@main # Checks `cargo build --target wasm32-unknown-unknown` wasm: - uses: lurk-lab/ci-workflows/.github/workflows/wasm.yml@main + uses: argumentcomputer/ci-workflows/.github/workflows/wasm.yml@main # Checks MSRV specified by `rust-version` in `Cargo.toml` msrv: - uses: lurk-lab/ci-workflows/.github/workflows/msrv.yml@main + uses: argumentcomputer/ci-workflows/.github/workflows/msrv.yml@main # Check documentation links aren't broken link-checker: - uses: lurk-lab/ci-workflows/.github/workflows/links-check.yml@main + uses: argumentcomputer/ci-workflows/.github/workflows/links-check.yml@main with: fail-fast: true - # Lint dependencies for licensing and auditing issues as per https://github.com/lurk-lab/arecibo/blob/main/deny.toml + # Lint dependencies for licensing and auditing issues as per https://github.com/argumentcomputer/arecibo/blob/main/deny.toml licenses-audits: - uses: lurk-lab/ci-workflows/.github/workflows/licenses-audits.yml@main + uses: argumentcomputer/ci-workflows/.github/workflows/licenses-audits.yml@main diff --git a/.github/workflows/solidity.yml b/.github/workflows/solidity.yml index ae2fa3820..d25f4c3c1 100644 --- a/.github/workflows/solidity.yml +++ b/.github/workflows/solidity.yml @@ -34,7 +34,7 @@ jobs: steps: - uses: actions/checkout@v4 with: - repository: lurk-lab/ci-workflows + repository: argumentcomputer/ci-workflows - uses: ./.github/actions/ci-env - uses: actions/checkout@v4 - uses: dtolnay/rust-toolchain@stable @@ -48,7 +48,7 @@ jobs: - name: Check out `solidity-verifier` for tests uses: actions/checkout@v4 with: - repository: lurk-lab/solidity-verifier + repository: argumentcomputer/solidity-verifier path: solidity-verifier submodules: recursive - name: Install Foundry @@ -150,7 +150,7 @@ jobs: if: steps.solidity-test.outcome != 'success' && (github.event_name != 'pull_request' || github.event.action == 'enqueued') uses: micalevisk/last-issue-action@v2 with: - repository: lurk-lab/solidity-verifier + repository: argumentcomputer/solidity-verifier state: open # Find the last updated open issue that has these labels: labels: | @@ -162,7 +162,7 @@ jobs: if: steps.solidity-test.outcome != 'success' && (github.event_name != 'pull_request' || github.event.action == 'enqueued') with: token: ${{ secrets.REPO_TOKEN }} - repository: lurk-lab/solidity-verifier + repository: argumentcomputer/solidity-verifier issue-number: ${{ steps.last-issue.outputs.issue-number }} title: ":rotating_light: Arecibo compatibility is broken" content-filepath: .github/SOLIDITY_COMPAT_ISSUE.md diff --git a/Cargo.toml b/Cargo.toml index 1c6718c9f..4d851a191 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,19 +1,19 @@ [package] name = "arecibo" version = "0.2.0" -authors = ["Srinath Setty ", "Lurk Engineering "] +authors = ["Srinath Setty ", "Lurk Engineering "] edition = "2021" description = "Recursive zkSNARKs without trusted setup" documentation = "https://docs.rs/arecibo/" readme = "README.md" -repository = "https://github.com/lurk-lab/arecibo" +repository = "https://github.com/argumentcomputer/arecibo" license-file = "LICENSE" keywords = ["zkSNARKs", "cryptography", "proofs"] rust-version="1.79" [dependencies] bellpepper-core = { version = "0.4.0", default-features = false } -bellpepper = { git="https://github.com/lurk-lab/bellpepper", branch="dev", default-features = false } +bellpepper = { git="https://github.com/argumentcomputer/bellpepper", branch="dev", default-features = false } ff = { version = "0.13.0", features = ["derive"] } digest = "0.10" halo2curves = { version = "0.6.0", features = ["bits", "derive_serde"] } @@ -23,7 +23,7 @@ rand_core = { version = "0.6", default-features = false } rand_chacha = "0.3" subtle = "2.5" pasta_curves = { version = "0.5.0", features = ["repr-c", "serde"] } -neptune = { git = "https://github.com/lurk-lab/neptune", branch="dev", default-features = false, features = ["abomonation"] } +neptune = { git = "https://github.com/argumentcomputer/neptune", branch="dev", default-features = false, features = ["abomonation"] } generic-array = "1.0.0" num-bigint = { version = "0.4", features = ["serde", "rand"] } num-traits = "0.2" @@ -49,8 +49,8 @@ rayon-scan = "0.1.0" [target.'cfg(any(target_arch = "x86_64", target_arch = "aarch64"))'.dependencies] # grumpkin-msm has been patched to support MSMs for the pasta curve cycle -# see: https://github.com/lurk-lab/grumpkin-msm/pull/3 -grumpkin-msm = { git = "https://github.com/lurk-lab/grumpkin-msm", branch = "dev" } +# see: https://github.com/argumentcomputer/grumpkin-msm/pull/3 +grumpkin-msm = { git = "https://github.com/argumentcomputer/grumpkin-msm", branch = "dev" } [target.'cfg(target_arch = "wasm32")'.dependencies] getrandom = { version = "0.2.0", default-features = false, features = ["js"] } diff --git a/LICENSE b/LICENSE index 787d1b5ba..eb7d0c6de 100644 --- a/LICENSE +++ b/LICENSE @@ -1,7 +1,7 @@ MIT License Copyright (c) Microsoft Corporation. - Copyright (c) 2023 Lurk Lab + Copyright (c) 2023 Argument Computer Corporation Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal diff --git a/README.md b/README.md index c2c147633..fc1e5eb7d 100644 --- a/README.md +++ b/README.md @@ -37,9 +37,9 @@ A front-end is a tool to take a high-level program and turn it into an intermedi 1. bellpepper: The native APIs of Nova accept circuits expressed with bellpepper, a Rust toolkit to express circuits. See [minroot.rs](https://github.com/microsoft/Nova/blob/main/examples/minroot.rs) or [sha256.rs](https://github.com/microsoft/Nova/blob/main/benches/sha256.rs) for examples. -2. Circom: A DSL and a compiler to transform high-level program expressed in its language into a circuit. There exist middleware to turn output of circom into a form suitable for proving with Nova. See [Nova Scotia](https://github.com/nalinbhardwaj/Nova-Scotia) and [Circom Scotia](https://github.com/lurk-lab/circom-scotia). In the future, we will add examples in the Nova repository to use these tools with Nova. +2. Circom: A DSL and a compiler to transform high-level program expressed in its language into a circuit. There exist middleware to turn output of circom into a form suitable for proving with Nova. See [Nova Scotia](https://github.com/nalinbhardwaj/Nova-Scotia) and [Circom Scotia](https://github.com/argumentcomputer/circom-scotia). In the future, we will add examples in the Nova repository to use these tools with Nova. -3. [Lurk](https://github.com/lurk-lab/lurk-rs): A Lisp dialect and a universal circuit to execute programs expressed in Lurk. The universal circuit can be proven with Nova. +3. [Lurk](https://github.com/argumentcomputer/lurk-rs): A Lisp dialect and a universal circuit to execute programs expressed in Lurk. The universal circuit can be proven with Nova. In the future, we plan to support [Noir](https://noir-lang.org/), a Rust-like DSL and a compiler to transform those programs into an IR. See [this](https://github.com/microsoft/Nova/issues/275) GitHub issue for details. @@ -79,4 +79,4 @@ Abhiram Kothapalli, and Srinath Setty IACR ePrint 2022/1758 ## Acknowledgments -See the contributors list [here](https://github.com/lurk-lab/arecibo/graphs/contributors) +See the contributors list [here](https://github.com/argumentcomputer/arecibo/graphs/contributors) diff --git a/deny.toml b/deny.toml index 670589478..8f12606e9 100644 --- a/deny.toml +++ b/deny.toml @@ -267,7 +267,7 @@ allow-git = [] [sources.allow-org] # 1 or more github.com organizations to allow git sources for -github = ["lurk-lab"] +github = ["argumentcomputer"] # 1 or more gitlab.com organizations to allow git sources for # gitlab = [""] # 1 or more bitbucket.org organizations to allow git sources for diff --git a/src/bellpepper/mod.rs b/src/bellpepper/mod.rs index db7e04e0f..13b34fdd0 100644 --- a/src/bellpepper/mod.rs +++ b/src/bellpepper/mod.rs @@ -1,6 +1,6 @@ //! Support for generating R1CS from [Bellpepper]. //! -//! [Bellpepper]: https://github.com/lurk-lab/bellpepper +//! [Bellpepper]: https://github.com/argumentcomputer/bellpepper pub mod r1cs; pub mod shape_cs; diff --git a/src/cyclefold/nova_circuit.rs b/src/cyclefold/nova_circuit.rs index 9ffd259be..87d10cc9a 100644 --- a/src/cyclefold/nova_circuit.rs +++ b/src/cyclefold/nova_circuit.rs @@ -270,7 +270,7 @@ where ), SynthesisError, > { - // Follows the outline written down here https://hackmd.io/@lurk-lab/HybHrnNFT + // Follows the outline written down here https://hackmd.io/@argumentcomputer/HybHrnNFT // Calculate the hash of the non-deterministic advice for the primary circuit let mut ro_p = E1::ROCircuit::new( diff --git a/src/supernova/test.rs b/src/supernova/test.rs index 51c89c07e..4ee5764eb 100644 --- a/src/supernova/test.rs +++ b/src/supernova/test.rs @@ -574,7 +574,7 @@ where E1: CurveCycleEquipped, NC: NonUniformCircuit, { - // TODO: add back in https://github.com/lurk-lab/arecibo/issues/53 + // TODO: add back in https://github.com/argumentcomputer/arecibo/issues/53 // // this tests public parameters with a size specifically intended for a spark-compressed SNARK // let pp_hint1 = Some(SPrime::::commitment_key_floor()); // let pp_hint2 = Some(SPrime::::commitment_key_floor());