feat: live demo, nav overlay, and 4th partner from updated design

astro.config.mjs

@@ -1,6 +1,7 @@
 import { defineConfig } from 'astro/config';
 import tailwindcss from '@tailwindcss/vite';
 import sitemap from '@astrojs/sitemap';
+import react from '@astrojs/react';
 
 // COOP/COEP enable Cross-Origin Isolation so the in-browser ZK prover can
 // use SharedArrayBuffer + Web Workers for multi-threaded proving. Without
@@ -17,7 +18,7 @@ export default defineConfig({
   build: {
     inlineStylesheets: 'auto',
   },
-  integrations: [sitemap()],
+  integrations: [sitemap(), react({ include: ['**/*.tsx'] })],
   vite: {
     plugins: [tailwindcss()],
     server: { headers: crossOriginIsolation },

package.json

@@ -18,6 +18,7 @@
     "lhci": "lhci autorun"
   },
   "dependencies": {
+    "@astrojs/react": "^5.0.7",
     "@astrojs/sitemap": "3.7.3",
     "@atheonxyz/verity": "0.3.2-alpha",
     "@fontsource/geist-mono": "^5.1.0",
@@ -28,11 +29,16 @@
     "@noir-lang/types": "1.0.0-beta.19",
     "@tailwindcss/vite": "^4.0.0",
     "astro": "^6.4.6",
+    "framer-motion": "^11.11.17",
     "pako": "2.1.0",
+    "react": "^18.3.1",
+    "react-dom": "^18.3.1",
     "tailwindcss": "^4.0.0"
   },
   "devDependencies": {
     "@astrojs/check": "^0.9.9",
+    "@types/react": "^18.3.12",
+    "@types/react-dom": "^18.3.1",
     "@lhci/cli": "^0.14.0",
     "@playwright/test": "^1.49.0",
     "@types/node": "^22.10.0",