diff --git a/interactive-demo/.gitignore b/demo/interactive-demo/.gitignore
similarity index 100%
rename from interactive-demo/.gitignore
rename to demo/interactive-demo/.gitignore
diff --git a/interactive-demo/README.md b/demo/interactive-demo/README.md
similarity index 100%
rename from interactive-demo/README.md
rename to demo/interactive-demo/README.md
diff --git a/interactive-demo/prover-rs/Cargo.toml b/demo/interactive-demo/prover-rs/Cargo.toml
similarity index 100%
rename from interactive-demo/prover-rs/Cargo.toml
rename to demo/interactive-demo/prover-rs/Cargo.toml
diff --git a/interactive-demo/prover-rs/README.md b/demo/interactive-demo/prover-rs/README.md
similarity index 100%
rename from interactive-demo/prover-rs/README.md
rename to demo/interactive-demo/prover-rs/README.md
diff --git a/interactive-demo/prover-rs/src/main.rs b/demo/interactive-demo/prover-rs/src/main.rs
similarity index 100%
rename from interactive-demo/prover-rs/src/main.rs
rename to demo/interactive-demo/prover-rs/src/main.rs
diff --git a/interactive-demo/prover-ts/.gitignore b/demo/interactive-demo/prover-ts/.gitignore
similarity index 100%
rename from interactive-demo/prover-ts/.gitignore
rename to demo/interactive-demo/prover-ts/.gitignore
diff --git a/interactive-demo/prover-ts/app.tsx b/demo/interactive-demo/prover-ts/app.tsx
similarity index 100%
rename from interactive-demo/prover-ts/app.tsx
rename to demo/interactive-demo/prover-ts/app.tsx
diff --git a/interactive-demo/prover-ts/index.ejs b/demo/interactive-demo/prover-ts/index.ejs
similarity index 100%
rename from interactive-demo/prover-ts/index.ejs
rename to demo/interactive-demo/prover-ts/index.ejs
diff --git a/interactive-demo/prover-ts/package.json b/demo/interactive-demo/prover-ts/package.json
similarity index 100%
rename from interactive-demo/prover-ts/package.json
rename to demo/interactive-demo/prover-ts/package.json
diff --git a/interactive-demo/prover-ts/tsconfig.json b/demo/interactive-demo/prover-ts/tsconfig.json
similarity index 100%
rename from interactive-demo/prover-ts/tsconfig.json
rename to demo/interactive-demo/prover-ts/tsconfig.json
diff --git a/interactive-demo/prover-ts/webpack.js b/demo/interactive-demo/prover-ts/webpack.js
similarity index 100%
rename from interactive-demo/prover-ts/webpack.js
rename to demo/interactive-demo/prover-ts/webpack.js
diff --git a/interactive-demo/prover-ts/worker.ts b/demo/interactive-demo/prover-ts/worker.ts
similarity index 100%
rename from interactive-demo/prover-ts/worker.ts
rename to demo/interactive-demo/prover-ts/worker.ts
diff --git a/interactive-demo/verifier-rs/Cargo.toml b/demo/interactive-demo/verifier-rs/Cargo.toml
similarity index 100%
rename from interactive-demo/verifier-rs/Cargo.toml
rename to demo/interactive-demo/verifier-rs/Cargo.toml
diff --git a/interactive-demo/verifier-rs/README.md b/demo/interactive-demo/verifier-rs/README.md
similarity index 100%
rename from interactive-demo/verifier-rs/README.md
rename to demo/interactive-demo/verifier-rs/README.md
diff --git a/interactive-demo/verifier-rs/src/axum_websocket.rs b/demo/interactive-demo/verifier-rs/src/axum_websocket.rs
similarity index 100%
rename from interactive-demo/verifier-rs/src/axum_websocket.rs
rename to demo/interactive-demo/verifier-rs/src/axum_websocket.rs
diff --git a/interactive-demo/verifier-rs/src/lib.rs b/demo/interactive-demo/verifier-rs/src/lib.rs
similarity index 100%
rename from interactive-demo/verifier-rs/src/lib.rs
rename to demo/interactive-demo/verifier-rs/src/lib.rs
diff --git a/interactive-demo/verifier-rs/src/main.rs b/demo/interactive-demo/verifier-rs/src/main.rs
similarity index 100%
rename from interactive-demo/verifier-rs/src/main.rs
rename to demo/interactive-demo/verifier-rs/src/main.rs