add whir as a crate in ceno via git subtree (#841)

re-open of #840 due to the base branch change
 
integrate whir as git subtree.

### why subtree
- This enable us to plug `whir` as a crate in ceno, thus it can share
most of libraries with ceno
- review everything just in one ceno PR
- retain approach sync back to upstream via command `git subtree push
--prefix=whir https://github.com/scroll-tech/whir <feature branch>`. The
timing to do that is decouple with our development in Ceno. We only need
that when going to sync back to upstream

With this PR, we can start to do refactor on whir, e.g. 
- migrate field to plonky3
- unify transcript
- share MLE + sumcheck from Ceno
- ...

---------

Co-authored-by: Yuncong Zhang <[email protected]>

Cargo.toml

@@ -12,6 +12,7 @@ members = [
   "poseidon",
   "sumcheck",
   "transcript",
+  "whir",
 ]
 resolver = "2"
 

mpcs/Cargo.toml

@@ -35,7 +35,7 @@ rand_chacha.workspace = true
 rayon = { workspace = true, optional = true }
 serde.workspace = true
 transcript = { path = "../transcript" }
-whir = { git = "https://github.com/scroll-tech/whir", branch = "feat/ceno-binding-batch", features = ["ceno"] }
+whir = { path = "../whir", features = ["ceno"] }
 zeroize = "1.8"
 
 [dev-dependencies]

whir/.github/workflows/rust.yml

@@ -0,0 +1,24 @@
+name: Rust
+
+on:
+  push:
+    branches: [ "main" ]
+  pull_request:
+    branches: [ "main" ]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+    - name: Switch toolchain
+      run: rustup update nightly && rustup default nightly
+    - name: Build
+      run: cargo build --release --verbose
+    - name: Run tests
+      run: cargo test --release --verbose

whir/.gitignore

@@ -0,0 +1,12 @@
+/target
+scripts/temp/
+bench_utils/target
+*_proof
+artifacts
+outputs/temp/
+*.pdf
+scripts/__pycache__/
+.DS_Store
+outputs/
+.idea
+.vscode