

Nadie tiene que creerle a quien cuenta.
Infraestructura de confianza para decisiones colectivas. Cada voto trae una prueba matemática y cualquiera recalcula el resultado desde su propio teléfono, sin confiar en quien organiza.
Toda votación la organiza alguien. Y toda la confianza termina en esa persona: si contó mal, si dejó una boleta fuera, si cambió el total, nadie puede demostrarlo. Lo vivimos en el condominio, en la universidad, en la cooperativa y, en su versión más grave, en un país entero. El votante entrega su voto y recibe a cambio una promesa.
Quórum cambia la promesa por una prueba.
Para que se sienta de verdad, en la demo montamos una elección presidencial ficticia (candidatos inventados, sin partidos ni nombres reales, sin premios). Todo el público vota desde su teléfono y el jurado hace de auditor:
Ese último paso es el producto: un resultado que no se puede manipular sin que se note.
Lo que el verificador demuestra: elegibilidad sin identificar, un voto por credencial, integridad del registro, recuento reproducible por cualquiera y, con ancla, que el total no cambió después del cierre.
Lo que no afirmamos, porque no lo implementamos: secreto del contenido frente al servidor del organizador, resistencia a coacción ni verificación de identidad civil. Usamos estados honestos (pendiente, recibido, incluido, verificado, no verificable, fallo detectado) y las limitaciones están documentadas en el repositorio. Hoy Quórum es para organizaciones (condominios, universidades, cooperativas, gremios, comunidades); la elección presidencial de la demo es una simulación para mostrar, en el escenario que todos entienden, lo que una votación verificable puede ser.
Next.js + TypeScript · Semaphore v4 (pruebas de pertenencia y nullifiers, sin criptografía propia) · registro encadenado con SHA-256 · ancla en Base Sepolia vía el contrato QuorumRegistry · smart wallets ZeroDev sin gas · prueba de vida en el navegador (TensorFlow.js, WASM) · verificador independiente en CLI y navegador · más de 480 tests unitarios, Playwright y E2E reales sin mocks.