Workflow
Polyhedra
icon
Search documents
X @Polyhedra
Polyhedra· 2025-08-11 09:34
7/Key insight:Don’t just naively compile an LLM into a circuit.Exploit structure:- Linear ops (MatMul, LayerNorm) → custom efficient constraints.- Nonlinear ops (GELU) → fused constraints to slash complexity.- Parallel-friendly layout to max out modern prover hardware. ...
X @Polyhedra
Polyhedra· 2025-08-11 09:34
6/Why it matters:- Enables practical zkLLM deployment — you can now verify an LLM’s output in seconds.- Keeps model weights secret.- Opens doors for privacy-preserving AI services with cryptographic auditability. ...
X @Polyhedra
Polyhedra· 2025-08-11 09:34
1/🧵diving deeper into our new work on zkGPT: Proving LLM inference fast with Zero-Knowledge Proofs.Why? Service providers might deploy a smaller/cheaper model than promised. ZK lets them prove correctness without revealing model parameters.📄 https://t.co/ToX51Wla56 ...
X @Polyhedra
Polyhedra· 2025-08-10 09:15
AI & Identity Verification - zkPyTorch aims to provide a solution for proving humanness in the AI era, addressing the challenge of AI-generated fakes [1] - The solution utilizes facial recognition as a form of identity [1] - Zero-knowledge proofs are employed to ensure privacy during the verification process [1] - On-chain verification provides a permanent and immutable record of humanness [1] - Cryptography is used to prevent AI from replicating biological traits [1]
X @Polyhedra
Polyhedra· 2025-08-10 09:11
Technology & Security - zkPyTorch ID utilizes ZKML to establish unhackable proof of humanity [1] - The system registers users via Face → Hash → Chain (one-time process) [1] - Verification involves generating a ZK proof to confirm identity [1] - The system ensures privacy by preventing facial exposure [1] - The system aims to mathematically guarantee one human equals one identity [1]
X @Polyhedra
Polyhedra· 2025-08-08 16:17
Technology & Innovation - zkGPT is a system for proving the correctness of large language model (LLM) inference without revealing the model [1] - The system enables private, verifiable LLM inference [1] - The system generates compact proofs in under 25 seconds [1]
X @Polyhedra
Polyhedra· 2025-08-08 10:08
RT Egg.Party (@EggDotParty)EGG V0.2.0 is served!Coin Master and Coin Market are now live plus some tasty platform upgrades!Enjoy https://t.co/6PFIuky9mR https://t.co/UMdmRcDB6w ...
X @Polyhedra
Polyhedra· 2025-08-08 09:19
Development Progress - Expander merged Ethereum Foundation PR to fix MPI bugs in macOS 15 build [1] - Expander enabled Sumcheck protocol for variable-length polynomials [1] - Expander progressed on Docker service module for zkML (zero-knowledge machine learning) [1]
X @Polyhedra
Polyhedra· 2025-08-07 12:00
4/ Next step: connect the authenticator to actual utility contracts to test real-world integration.We’re still early, but making steady progress toward more human-proof crypto.Stay tuned. ...
X @Polyhedra
Polyhedra· 2025-08-07 12:00
Engineering Progress - A server prototype was built to handle client proving requests [1] - An authentication contract in Solidity was initiated [1] - Foundry was integrated to run mock simulations [1] - End-to-end flows are being tested with dummy data [1]