chore: Rename to argument

.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.
 

.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"

.github/workflows/docs.yml

@@ -12,4 +12,4 @@ on:
 
 jobs:
   docs:
-    uses: lurk-lab/ci-workflows/.github/workflows/docs.yml@main
+    uses: argumentcomputer/ci-workflows/.github/workflows/docs.yml@main

.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'

.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'

.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
+    uses: argumentcomputer/ci-workflows/.github/workflows/typos.yml@main

.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

.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

Cargo.toml

@@ -1,19 +1,19 @@
 [package]
 name = "arecibo"
 version = "0.2.0"
-authors = ["Srinath Setty <[email protected]>", "Lurk Engineering <engineering@lurk-lab.com>"]
+authors = ["Srinath Setty <[email protected]>", "Lurk Engineering <engineering@argument.xyz>"]
 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"] }

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

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)

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

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;

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(

src/supernova/test.rs

@@ -574,7 +574,7 @@ where
   E1: CurveCycleEquipped,
   NC: NonUniformCircuit<E1>,
 {
-  // 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::<G1>::commitment_key_floor());
   // let pp_hint2 = Some(SPrime::<G2>::commitment_key_floor());