From 3dea91fb6e6b6915a4387321bba9385e4f45c449 Mon Sep 17 00:00:00 2001
From: Samuel Burnham <45365069+samuelburnham@users.noreply.github.com>
Date: Mon, 12 Aug 2024 19:12:52 -0400
Subject: [PATCH] chore: Rename to argument (#394)
---
.github/SOLIDITY_COMPAT_ISSUE.md | 2 +-
.github/workflows/bench-pr-comment.yml | 2 +-
.github/workflows/docs.yml | 2 +-
.github/workflows/gpu-bench.yml | 2 +-
.github/workflows/gpu-ci.yml | 2 +-
.github/workflows/nightly.yml | 6 +++---
.github/workflows/rust.yml | 16 ++++++++--------
.github/workflows/solidity.yml | 8 ++++----
Cargo.toml | 12 ++++++------
LICENSE | 2 +-
README.md | 6 +++---
deny.toml | 2 +-
src/bellpepper/mod.rs | 2 +-
src/cyclefold/nova_circuit.rs | 2 +-
src/supernova/test.rs | 2 +-
15 files changed, 34 insertions(+), 34 deletions(-)
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 <srinath@microsoft.com>", "Lurk Engineering <engineering@lurk-lab.com>"]
+authors = ["Srinath Setty <srinath@microsoft.com>", "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"] }
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<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());