docs revamp network

docs/co-circom/co-circom.md

@@ -1,7 +1,7 @@
 # coCircom
 
-coCircom enables us perform [circom](../resources/circom)'s witness extension and proof generation with MPC. circom and coCircom and their artifacts may be used interchangeably, e.g. a proof generated by coCircom verifies using circom and vice-versa. coCircom also relies on artifacts generated by circom, e.g. the R1CS file, the zkey, and the vkey.
+coCircom enables us perform [circom](https://docs.circom.io/)'s witness extension and proof generation with MPC. circom and coCircom and their artifacts may be used interchangeably, e.g. a proof generated by coCircom verifies using circom and vice-versa. coCircom also relies on artifacts generated by circom, e.g. the R1CS file, the zkey, and the vkey.
 
-To get started with the coCircom workflow, we require some circuit alongside an input. Based on these files we can create a proof according the workflow depicted below. For more details the Circom setup have a look at the circom docs [extending the witness](https://docs.circom.io/getting-started/computing-the-witness/) and [generating a proof](https://docs.circom.io/getting-started/proving-circuits/). 
+To get started with the coCircom workflow, we require some circuit alongside an input. Based on these files we can create a proof according the workflow depicted below. For more details the Circom setup have a look at the circom docs [extending the witness](https://docs.circom.io/getting-started/computing-the-witness/) and [generating a proof](https://docs.circom.io/getting-started/proving-circuits/).
 
-<img src={require("./figures/co-circom-workflow.png").default} alt="overview drawing"/>
+<img src={require("./figures/co-circom-workflow.png").default} alt="overview drawing"/>

docs/index.mdx

@@ -2,100 +2,168 @@
 id: index
 title: Welcome to TACEO
 slug: /
-sidebar_position: 1
+description: Start here to understand TACEO Network, privacy services, and developer tooling
 ---
 
 import Link from '@docusaurus/Link';
 
-# Welcome to TACEO Documentation
+# Welcome to TACEO
 
-TACEO is building the future of privacy-preserving computation through collaborative zero-knowledge proofs and Multi-Party Computation (MPC).
+TACEO provides private execution infrastructure for applications that need to compute on sensitive data without exposing inputs.
 
-## Choose Your Path
+This documentation is organized around three areas: the **TACEO Network**, **production privacy services** such as TACEO:OPRF and TACEO:Proof, and **developer tooling** for collaborative zero-knowledge workflows.
 
-<div style={{display: 'flex', gap: '2rem', marginTop: '2rem', flexWrap: 'wrap'}}>
+If you are new, start by choosing the path that best matches your goal. This page is designed to help you get oriented quickly and then move into the right part of the documentation.
 
-<div style={{
-  flex: '1',
-  minWidth: '300px',
-  padding: '2rem',
-  border: '1px solid var(--ifm-color-emphasis-300)',
-  borderRadius: '8px',
-  textAlign: 'center'
-}}>
+## What you can do with TACEO
+
+### Understand the TACEO Network
+
+Learn how the network enables verifiable collaboration over encrypted data, what security assumptions it relies on, and why private execution matters for real applications.
+
+### Integrate privacy services
+
+Use TACEO services when you want production-ready privacy primitives in your application, such as privacy-preserving nullifiers with TACEO:OPRF or private proof delegation with TACEO:Proof.
+
+### Build with developer tooling
+
+Experiment with coCircom and coNoir to run collaborative zero-knowledge workflows in an MPC setting. These tools are intended for developers exploring custom circuits and coSNARK-based systems.
+
+## Choose your path
+
+<div style={{display: 'grid', gridTemplateColumns: '1fr', gap: '1rem', marginTop: '2rem'}}>
 
-### 🔧 CoSNARKs Development
+<details className="path-card-network">
+<summary style={{cursor: 'pointer', fontWeight: 'bold', fontSize: '1.1rem'}}>
+🌐 **Understand how The TACEO Network works**
+</summary>
 
-**Build collaborative zero-knowledge circuits**
+<div style={{marginTop: '1rem'}}>
 
-Learn how to create circuits where multiple parties can jointly generate zero-knowledge proofs without revealing their private inputs to each other.
+**Best for:** Researchers, partners, and technical stakeholders
 
-**Perfect for:**
-- Building privacy-preserving applications
-- Multi-party computation workflows
-- Collaborative proof generation
+**Start here:**
+1. **[Read Network Overview](/docs/taceo-network/)** - Understand the motivation and system model
+2. **[Review Architecture](/docs/taceo-network/network#how-the-network-works)** - See how the network operates
+3. **[See Real Applications](/docs/taceo-network/network#the-missing-layer)** - Understand where this is used in practice
 
-<Link
-  className="button button--primary button--lg"
-  to="/docs/overview"
-  style={{marginTop: '1rem'}}>
-  Explore CoSNARKs Docs
-</Link>
+**Next steps:** Explore the [Security Model](/docs/taceo-network/network#security-model) and [Network Governance](/docs/taceo-network/network#network-governance)
 
 </div>
+</details>
 
-<div style={{
-  flex: '1',
-  minWidth: '300px',
-  padding: '2rem',
-  border: '1px solid var(--ifm-color-emphasis-300)',
-  borderRadius: '8px',
-  textAlign: 'center'
-}}>
+<details className="path-card-services">
+<summary style={{cursor: 'pointer', fontWeight: 'bold', fontSize: '1.1rem'}}>
+⚡ **Add privacy services to my application**
+</summary>
+
+<div style={{marginTop: '1rem'}}>
 
-### ⚡ TACEO:Proof Network
+**Best for:** Application developers, product teams, and technical founders
 
-**Offload proof generation to our network**
+**Start here:**
+1. **[Choose Your Service](/docs/services/overview)** - Compare TACEO:OPRF and TACEO:Proof
+2. **[Review TACEO:OPRF](/docs/taceo-oprf/overview)** - Understand privacy-preserving nullifiers
+3. **[Review TACEO:Proof](/docs/taceo-proof/overview)** - Understand private proof delegation
 
-Use our production-ready MPC network to generate Groth16 proofs without revealing witness data. Scale beyond client-side limitations.
+**Next steps:** [Email us for production access](mailto:hello@taceo.io) and [join Discord](https://taceo.io/discord) for technical support
 
-**Perfect for:**
-- Mobile and web applications
-- Scalable proof generation
-- Production deployments
+</div>
+</details>
 
-<Link
-  className="button button--primary button--lg"
-  to="/docs/taceo-proof/overview"
-  style={{marginTop: '1rem'}}>
-  Explore TACEO:Proof Docs
-</Link>
+<details className="path-card-tools">
+<summary style={{cursor: 'pointer', fontWeight: 'bold', fontSize: '1.1rem'}}>
+🔧 **Experiment with collaborative SNARKs**
+</summary>
+
+<div style={{marginTop: '1rem'}}>
+
+**Best for:** Crypto developers, researchers, and privacy-tech experimenters
+
+**Start here:**
+1. **[CoSNARKs Overview](/docs/overview)** - Understand collaborative zero-knowledge proofs
+2. **[Install Tools](/docs/getting-started/install)** - Set up coCircom or coNoir locally
+3. **[Run an Example](/docs/getting-started/quick-start-co-circom)** - Try your first collaborative circuit
+
+**Next steps:** Explore [examples](/docs/examples/) and [network configuration](/docs/network-config/)
+
+**Note:** These tools are currently for experimentation and development. They require running your own MPC environment and are not the same as using TACEO’s managed services.
 
 </div>
+</details>
 
 </div>
 
-## New to Zero-Knowledge Proofs?
+## What is available today
+
+- **TACEO Network documentation** explains the system architecture, security model, and application context
+- **TACEO:OPRF** and **TACEO:Proof** are the main service entry points for teams integrating privacy features today
+- **Developer tooling** is available for teams exploring collaborative circuits and MPC-based proving workflows
 
-<div style={{marginTop: '2rem', padding: '1.5rem', backgroundColor: 'var(--ifm-color-emphasis-100)', borderRadius: '8px'}}>
+This means some parts of the docs describe production-oriented services, while others describe lower-level or experimental developer workflows. If you are evaluating TACEO for an application, the services section is usually the right place to begin.
 
-Start with our primers to understand the fundamentals:
+## Learning Resources
 
-- **[MPC Primer](primer/mpc-primer.md)** - Understanding Multi-Party Computation
-- **[Collaborative SNARKs Primer](primer/collabSNARKs-primer.md)** - How coSNARKs work
+New to privacy-preserving computation? Start here:
 
-Or watch our introductory videos:
-- **[Overview of TACEO](https://www.youtube.com/watch?v=tlVFbr3_eEU)** - High-level introduction
-- **[MPC-Enabled Proof Markets](https://www.youtube.com/watch?v=4-W5nnsf9-A)** - Technical deep dive
+<div style={{display: 'grid', gridTemplateColumns: 'repeat(auto-fit, minmax(250px, 1fr))', gap: '1rem', marginTop: '1.5rem'}}>
+
+<div className="info-card">
+
+**🎓 Understand the Basics**
+
+<ul>
+  <li><Link to="/docs/resources/mpc">Secure Multiparty Computation</Link></li>
+  <li><Link to="/docs/primer/collabSNARKs-primer">Collaborative SNARKs Primer</Link></li>
+</ul>
 
 </div>
 
-## Need Help?
+<div className="info-card">
+
+**💡 See Use Cases**
+
+<ul>
+  <li><Link to="/docs/use-cases/defi">DeFi Applications</Link></li>
+  <li><Link to="/docs/use-cases/ai">AI & Machine Learning</Link></li>
+  <li><Link to="/docs/use-cases/gaming">Gaming & NFTs</Link></li>
+</ul>
+
+</div>
 
-- 💬 Join our [Discord community](https://taceo.io/discord) for real-time support
-- 📧 [Contact us](contact.md) for enterprise inquiries
-- 🐛 Report issues on our GitHub repositories
+<div className="info-card">
+
+**📺 Watch Videos**
+
+<ul>
+  <li><Link to="https://www.youtube.com/watch?v=tlVFbr3_eEU">CoSNARKs Overview</Link></li>
+  <li><Link to="https://www.youtube.com/watch?v=4-W5nnsf9-A">MPC-Enabled Proof Markets</Link></li>
+</ul>
+
+</div>
+
+</div>
+
+## Get In Touch
+
+<div style={{
+  padding: '2rem',
+  backgroundColor: 'var(--ifm-color-emphasis-100)',
+  borderRadius: '8px',
+  marginTop: '2rem',
+  textAlign: 'center'
+}}>
+
+**Questions? We're here to help.**
+
+{/* prettier-ignore */}
+<div style={{marginTop: '1rem', display: 'flex', justifyContent: 'center', alignItems: 'center', gap: '1rem'}}>
+  <Link className="button button--primary get-in-touch-btn" to="https://taceo.io/discord">💬 Join Discord</Link>
+  <Link className="button button--outline button--primary get-in-touch-btn" to="mailto:hello@taceo.io">📧 Email Us</Link>
+</div>
+
+</div>
 
 ---
 
-*Ready to start building privacy-preserving applications? Choose your path above!*
+**Ready to dive deeper?** Use the sidebar to explore the TACEO Network, Services, and Developer Tools sections.

docs/services/overview.mdx

@@ -0,0 +1,143 @@
+---
+title: Privacy Services Overview
+description: Choose the right privacy service for your application
+---
+
+import Link from "@docusaurus/Link";
+
+# Privacy Services on TACEO Network
+
+The TACEO Network provides production-ready privacy services that your application can integrate today. Each service handles different privacy-preserving computation needs.
+
+## Which Service Do I Need?
+
+<div style={{display: 'grid', gridTemplateColumns: 'repeat(auto-fit, minmax(300px, 1fr))', gap: '2rem', marginTop: '2rem'}}>
+
+<div className="service-card-success">
+
+### **TACEO\:OPRF**
+
+_Oblivious Pseudorandom Function_
+
+**Use when you need:**
+
+- Privacy-preserving uniqueness checks
+- Generate nullifiers without revealing identity
+- Private set membership checks (e.g. PSI-style protocols)
+- Identity-based rate limiting or eligibility checks
+
+**Perfect for:**
+
+- Biometric identity and uniqueness verification
+- Anonymous credentials and pseudonymous identities
+- Builder codes and private access / eligibility systems
+- Identity-based rate limiting
+
+{/* prettier-ignore */}
+<Link className="button button--success get-in-touch-btn" to="/docs/taceo-oprf/overview" style={{ marginTop: "1rem", width: "100%" }}>Learn More</Link>
+
+</div>
+
+<div className="service-card-primary">
+
+### **TACEO\:Proof**
+
+_Private Proof Delegation_
+
+**Use when you need:**
+
+- Generate ZK proofs without revealing witness data
+- Scale proof generation beyond client devices
+- Mobile/web app proof generation
+- Production-ready Groth16 proofs
+
+**Perfect for:**
+
+- DeFi applications with private transactions
+- Identity systems requiring proof of credentials
+- Gaming with hidden state verification
+- Any app needing scalable ZK proofs
+
+{/* prettier-ignore */}
+<Link className="button button--primary get-in-touch-btn" to="/docs/taceo-proof/overview" style={{ marginTop: "1rem", width: "100%" }}>Learn More</Link>
+
+</div>
+
+</div>
+
+## Coming Soon
+
+<div style={{display: 'grid', gridTemplateColumns: 'repeat(auto-fit, minmax(300px, 1fr))', gap: '2rem', marginTop: '2rem'}}>
+
+<div className="service-card-muted">
+
+### **TACEO\:OMap**
+
+_Private Reads & Writes_
+
+**Deployed, onboarding first applications**
+
+Private data structures and confidential shared state management across multiple parties.
+
+</div>
+
+<div style={{
+  padding: '2rem',
+  border: '1px solid var(--ifm-color-emphasis-400)',
+  borderRadius: '12px', 
+  backgroundColor: 'var(--ifm-color-emphasis-100)',
+  opacity: '0.8'
+}}>
+
+### **TACEO\:Match**
+
+_Distributed Biometric Uniqueness_
+
+**In active integration**
+
+Privacy-preserving biometric matching and verification without centralized biometric storage.
+
+</div>
+
+</div>
+
+## Integration Patterns
+
+### **Direct API Integration**
+
+TODO
+
+### **Smart Contract Integration**
+
+TODO
+
+## Getting Started
+
+<div className="getting-started-box">
+
+### 🚀 **Ready to integrate?**
+
+1. **Choose your service** from the options above
+2. **Read the service documentation** for technical details
+3. **Try the quickstart** to see it in action
+4. **Contact us** for production access and support
+
+{/* prettier-ignore */}
+<div className="button-row">
+  <Link className="button button--info button--lg get-in-touch-btn" to="mailto:hello@taceo.io">Get Production Access</Link>
+  <Link className="button button--outline button--info get-in-touch-btn" to="https://taceo.io/discord">Join Discord Community</Link>
+</div>
+
+</div>
+
+## Production Applications
+
+The TACEO Network already powers privacy infrastructure for:
+
+- **World** - Biometric identity verification at global scale
+- **zkPassport** - Privacy-preserving identity verification
+- And growing ecosystem of privacy-focused applications
+
+---
+
+Need help choosing the right service? [Join our Discord](https://taceo.io/discord) or [email our team](mailto:hello@taceo.io).