Primeros pasos
Por qué Vericto
AST · Parsing determinístico
Ver la arquitectura completa
¿Qué es AST y por qué es la mejor opción?
Vericto parsea cada query a su Árbol de Sintaxis Abstracta (AST), con libpg_query (el propio parser de PostgreSQL) en PostgreSQL y con sqlparser-rs en los demás dialectos, en lugar de adivinar con expresiones regulares o heurísticas. Analiza la estructura de la sentencia, no su texto: por eso detecta lo que las listas de permitidos y los regex no ven.
- Determinístico, no infalible. La misma query con las mismas reglas recibe siempre el mismo veredicto, sin modelos probabilísticos ni varianza. Cada falso positivo encontrado se corrige con un test de regresión, y el modo observe te permite probar las reglas con tráfico real antes de que bloqueen.
- Ve lo que otros no. Multi-statement, CTEs data-modifying (
WITH … DELETE), subqueries e inyección por tautología (OR 1=1), todo sobre el AST completo, multi-dialecto. - Rendimiento medido. La evaluación ocurre in-process en el proxy TCP, sin llamadas de red en el hot path: evaluar las reglas midió p99 de 100 µs o menos, y el proxy agregó 0,42 ms en p50 en PostgreSQL con 1 conexión (staging, 16 de octubre de 2026; una medición, no una garantía: condiciones y método).
Interceptación en el protocolo wire de PostgreSQL
'P' Parse: prepared statements evaluados en la fase Parse, antes de bindear valores. Protección independiente de los parámetros en runtime.
'Q' Simple Query: la sentencia completa se evalúa inline antes de ejecutarse. El query destructivo nunca llega a la base.
Formas de conectar
Recomendado
Despliegue del proxy TCP
La forma recomendada: el proxy intercepta el protocolo wire de PostgreSQL. Protección transparente, sin cambios en tu código. Despliégalo como prefieras.
API HTTP para CI/CD
Evalúa queries y migraciones vía REST antes de desplegar, sin instalar el proxy. Ideal para validar cambios en tu pipeline.
Lenguajes y ORMs
Cualquier driver que hable el protocolo de PostgreSQL funciona sin cambios. Ejemplos para los ORMs y lenguajes más usados.
¿No sabes qué modo usar? Mira dónde va Vericto en nueve arquitecturas de referencia →
Referencia
Reglas AST
Catálogo completo de reglas VERICTO-*: qué detectan, severidad, acción y dialectos soportados.
Ejemplos de queries
Casos reales lado a lado: qué se bloquea y por qué, qué pasa, y los casos edge más comunes.
Reglas personalizadas
Extiende el ruleset con condiciones YAML sobre el AST: esquema, tipos de nodo, condiciones, API y previsualización.
Simulador de reglas
Simula reglas nuevas o modificadas contra tu tráfico real antes de aplicarlas (hasta 30, 90 o 180 días según tu plan), desde el dashboard o desde CI.
Seguridad y comunidad
Seguridad y cumplimiento
Arquitectura zero-trust, cifrado y almacenamiento, autenticación, evidencia para auditorías SOC 2 / ISO 27001 y reporte de vulnerabilidades.
Registro de auditoría administrativo
Quién cambió qué en el workspace: API keys, miembros, SSO, políticas y facturación, con el antes y el después. Solo se agrega.
Comunidad en Discord
Únete a la comunidad de Vericto: resuelve dudas, comparte reglas custom y recibe soporte de otros desarrolladores y del equipo.
¿Necesitas ayuda?
¿No encuentras lo que buscas o tienes un caso de uso que la documentación no cubre? Contáctanos por el canal adecuado.