Vendor num-bigint into num-bigint-generics

.github/workflows/num-bigint-ci.yaml

@@ -0,0 +1,105 @@
+name: num-bigint-generic
+on: merge_group
+
+jobs:
+
+  test:
+    name: Test
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        rust: [
+          1.60.0, # MSRV
+          stable,
+          beta,
+          nightly
+        ]
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/cache@v4
+        if: startsWith(matrix.rust, '1')
+        with:
+          path: ~/.cargo/registry/index
+          key: cargo-${{ matrix.rust }}-git-index
+      - uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: ${{ matrix.rust }}
+      - run: cargo build
+      - run: vendor/num-bigint-generic/ci/test_full.sh
+
+  # try a target with `BigDigit = u32`
+  i686:
+    name: Test (i686)
+    runs-on: ubuntu-latest
+    steps:
+      - run: |
+          sudo apt-get update
+          sudo apt-get install gcc-multilib
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: stable-i686-unknown-linux-gnu
+      - run: cargo build
+      - run: vendor/num-bigint-generic/ci/test_full.sh
+
+  # try building the x32 target -- x86_64 with target_pointer_width="32"
+  # (we can't execute without kernel CONFIG_X86_X32_ABI though)
+  x32:
+    name: Test (x32)
+    runs-on: ubuntu-latest
+    steps:
+      - run: |
+          sudo apt-get update
+          sudo apt-get install gcc-multilib
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+        with:
+          target: x86_64-unknown-linux-gnux32
+      - run: cargo build --target x86_64-unknown-linux-gnux32 --all-features
+      - run: cargo test --no-run --target x86_64-unknown-linux-gnux32 --all-features
+
+  # try a target that doesn't have std at all, but does have alloc
+  no_std:
+    name: No Std
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+        with:
+          target: thumbv6m-none-eabi
+      - run: cargo build --target thumbv6m-none-eabi --no-default-features --features "serde rand"
+
+  fmt:
+    name: Format
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/[email protected]
+        with:
+          components: rustfmt
+      - run: cargo fmt --all --check
+
+  doc:
+    name: Docs.rs
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@nightly
+      - run: cargo doc --features std,serde,rand,quickcheck,arbitrary
+        env:
+          RUSTDOCFLAGS: --cfg docsrs
+
+  # One job that "summarizes" the success state of this pipeline. This can then be added to branch
+  # protection, rather than having to add each job separately.
+  success:
+    name: Success
+    runs-on: ubuntu-latest
+    needs: [test, i686, x32, no_std, fmt, doc]
+    # Github branch protection is exceedingly silly and treats "jobs skipped because a dependency
+    # failed" as success. So we have to do some contortions to ensure the job fails if any of its
+    # dependencies fails.
+    if: always() # make sure this is never "skipped"
+    steps:
+      # Manually check the status of all dependencies. `if: failure()` does not work.
+      - name: check if any dependency failed
+        run: jq --exit-status 'all(.result == "success")' <<< '${{ toJson(needs) }}'

CHANGELOG.md

@@ -106,6 +106,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
   ([#1230](https://github.com/o1-labs/openmina/pull/1230))
 - bump itertools from 0.10.5 to 0.12.0 #1228
   ([#1228](https://github.com/o1-labs/openmina/pull/1228))
+- vendor num-bigint#1996d080 and rename it in num-bigint-generic
+  ([#1379](https://github.com/o1-labs/mina-rust/pull/1379/))
 
 ### Other
 

Cargo.toml

@@ -36,6 +36,8 @@ members = [
   "producer-dashboard",
 
   "fuzzer",
+  "vendor/num-bigint-generic",
+  "vendor/num-rational-generic",
 ]
 
 resolver = "2"

vendor/num-bigint-generic/.github/workflows/master.yaml

@@ -0,0 +1,28 @@
+name: master
+on:
+  push:
+    branches:
+      - master
+  schedule:
+    - cron: '0 0 * * 0' # 00:00 Sunday
+
+jobs:
+
+  test:
+    name: Test
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        rust: [1.60.0, stable]
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/cache@v4
+        if: startsWith(matrix.rust, '1')
+        with:
+          path: ~/.cargo/registry/index
+          key: cargo-${{ matrix.rust }}-git-index
+      - uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: ${{ matrix.rust }}
+      - run: cargo build
+      - run: ./ci/test_full.sh

vendor/num-bigint-generic/.github/workflows/pr.yaml

@@ -0,0 +1,49 @@
+name: PR
+on:
+  pull_request:
+
+jobs:
+
+  test:
+    name: Test
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        rust: [1.60.0, stable]
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/cache@v4
+        if: startsWith(matrix.rust, '1')
+        with:
+          path: ~/.cargo/registry/index
+          key: cargo-${{ matrix.rust }}-git-index
+      - uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: ${{ matrix.rust }}
+      - run: cargo build
+      - run: ./ci/test_full.sh
+
+  fmt:
+    name: Format
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/[email protected]
+        with:
+          components: rustfmt
+      - run: cargo fmt --all --check
+
+  # One job that "summarizes" the success state of this pipeline. This can then be added to branch
+  # protection, rather than having to add each job separately.
+  success:
+    name: Success
+    runs-on: ubuntu-latest
+    needs: [test, fmt]
+    # Github branch protection is exceedingly silly and treats "jobs skipped because a dependency
+    # failed" as success. So we have to do some contortions to ensure the job fails if any of its
+    # dependencies fails.
+    if: always() # make sure this is never "skipped"
+    steps:
+      # Manually check the status of all dependencies. `if: failure()` does not work.
+      - name: check if any dependency failed
+        run: jq --exit-status 'all(.result == "success")' <<< '${{ toJson(needs) }}'

vendor/num-bigint-generic/.gitignore

@@ -0,0 +1,4 @@
+Cargo.lock
+target
+*.bk
+*.orig

vendor/num-bigint-generic/Cargo.toml

@@ -0,0 +1,82 @@
+[package]
+authors = ["The Rust Project Developers"]
+description = "Big integer implementation for Rust"
+documentation = "https://docs.rs/num-bigint"
+homepage = "https://github.com/rust-num/num-bigint"
+keywords = ["mathematics", "numerics", "bignum"]
+categories = ["algorithms", "data-structures", "science"]
+license = "MIT OR Apache-2.0"
+name = "num-bigint-generic"
+repository = "https://github.com/rust-num/num-bigint"
+version = "0.4.6"
+readme = "README.md"
+exclude = ["/ci/*", "/.github/*"]
+edition = "2021"
+rust-version = "1.60"
+
+[features]
+default = ["std"]
+std = ["num-integer/std", "num-traits/std"]
+arbitrary = ["dep:arbitrary"]
+quickcheck = ["dep:quickcheck"]
+rand = ["dep:rand"]
+serde = ["dep:serde"]
+nightly = []
+
+[package.metadata.docs.rs]
+features = ["std", "serde", "rand", "quickcheck", "arbitrary"]
+rustdoc-args = ["--cfg", "docsrs"]
+
+[[bench]]
+name = "bigint"
+required-features = ["nightly"]
+
+[[bench]]
+name = "factorial"
+required-features = ["nightly"]
+
+[[bench]]
+name = "gcd"
+required-features = ["nightly"]
+
+[[bench]]
+name = "roots"
+required-features = ["nightly"]
+
+[[bench]]
+harness = false
+name = "shootout-pidigits"
+required-features = ["nightly"]
+
+[dependencies]
+tinyvec = { version = "1", features = ["alloc", "rustc_1_55"] }
+
+[dependencies.num-integer]
+default-features = false
+features = ["i128"]
+version = "0.1.46"
+
+[dependencies.num-traits]
+default-features = false
+features = ["i128"]
+version = "0.2.18"
+
+[dependencies.rand]
+default-features = false
+optional = true
+version = "0.8"
+
+[dependencies.serde]
+default-features = false
+optional = true
+version = "1.0"
+
+[dependencies.quickcheck]
+default-features = false
+optional = true
+version = "1"
+
+[dependencies.arbitrary]
+default-features = false
+optional = true
+version = "1"