Apps con Privacidad Primero

Termina cualquier semana con un solo mensaje. Sin preaviso, sin entrevista de salida, sin letra pequeña. Facturamos semanalmente, así que el máximo al que estás comprometido es la semana actual.

Está en tu contrato: dínoslo, y reembolsamos esa semana. Sin preguntas, sin facturas que disputar, sin llamadas para escalar. Única regla: los reembolsos aplican a la semana más reciente.

Porque las horas son la métrica equivocada. Si optimizamos por horas facturadas, no estamos optimizando por tu resultado. El trato es más simple: cada semana, ganamos la siguiente. Si no lo hacemos, no pagas. Podemos invertir cero horas o sesenta. Lo que importa es si te impresionamos.

Trabajamos con operadores, no con ganadores de lotería. Si una solicitud requeriría romper la física, la ley o sistemas de terceros, lo decimos, y si no podemos alinearnos, nos vamos. La garantía es mutua: puedes despedirnos cualquier semana; nosotros también podemos despedirnos.

Cuando la garantía de privacidad o la verificación de cómputo off-chain es genuinamente crítica para el producto. Sistemas de voto, identidad privada, rollups escalables y ciertos flujos de compliance son wins claros. Para la mayoría de pitches de tipo «pongámosle ZK», la respuesta honesta es «una base de datos con auth es suficiente y 100× más barata.» Y lo decimos.

Dimensionamos la infraestructura de proving en la fase de arquitectura, no después del lanzamiento. Off-chain proving con verificación on-chain (el patrón estándar) suele correr en milisegundos a segundos para circuitos bien diseñados. Hacemos benchmarks en hardware real antes de comprometernos — y te diremos cuándo el coste de proving hace el caso de uso ineconómico.

A menudo sí. ZK no tiene que ser toda la app. Puede ser un contrato verifier o un único flow de generación de pruebas dentro de un stack convencional. Hemos integrado verificación de identidad ZK, comprobaciones de balance privadas y proof-of-membership en web apps por lo demás normales. La parte difícil suele ser la UX, no la criptografía.

Groth16 para circuitos pequeños y fijos con el gas de verificación más bajo (bueno para Ethereum mainnet). PLONK o Halo2 para circuitos de propósito general donde quieres un trusted setup universal o puedes evitarlo. STARKs (Cairo, RISC Zero, Boojum) cuando quieres seguridad post-cuántica o setup transparente. Noir o Circom para escribir circuitos según la familiaridad del equipo. Elegimos según qué verifica más barato en tu chain objetivo y qué pueden auditar tus developers, no según qué hace más ruido en Twitter.

Añadir un flujo de privacidad a una dApp existente (un circuito + verifier contract): 25.000-50.000 €. Producto ZK standalone de identidad o membership: 50.000-120.000 €. ZK rollup o cadena app-specific: 200.000 €+ y 6-12 meses, con la auditoría como porción importante. Los costes de auditoría para circuitos ZK son más altos que para Solidity plano (30.000-80.000 € para circuitos no triviales) porque la superficie es matemática, no solo código. Cotizamos el presupuesto de auditoría junto al de build para que no te sorprenda después.