¿Qué es CasNum y por qué rompe esquemas en computación?
CasNum es una biblioteca de código abierto publicada en GitHub que implementa aritmética de precisión arbitraria usando un método radicalmente distinto a todo lo que conocemos en software moderno: las construcciones geométricas con compás y regla. En lugar de trabajar con representaciones numéricas flotantes o binarias, CasNum modela los números como puntos en el plano euclidiano, donde cada operación matemática se traduce en intersecciones exactas de líneas y círculos.
Para un founder o desarrollador acostumbrado a optimizar pipelines con librerías como GMP o NumPy, esta propuesta puede sonar a experimento académico. Pero la realidad es que toca un problema muy concreto: el error de redondeo acumulativo en operaciones de alta precisión, que afecta desde simulaciones científicas hasta ciertos protocolos criptográficos.
Cómo funciona la aritmética con construcciones geométricas
El núcleo conceptual de CasNum tiene raíces históricas que se remontan a Pierre Wantzel (1837), quien formalizó el concepto de números constructibles: aquellos que pueden obtenerse a partir de intersecciones geométricas dentro de una torre de extensiones cuadráticas.
En la práctica, la biblioteca traduce operaciones aritméticas básicas en primitivas geométricas:
- Suma y resta: se modelan como desplazamientos de vectores mediante líneas paralelas.
- Multiplicación y división: se resuelven a través de similitudes de triángulos e intersecciones circulares.
- Raíces cuadradas: se construyen mediante círculos tangentes.
Cada operación añade un nuevo paso constructivo al sistema, permitiendo representar números con denominadores exponencialmente grandes sin ningún redondeo flotante. El resultado es precisión arbitraria garantizada, a cambio de un overhead computacional significativo respecto a librerías convencionales.
El emulador de Game Boy: donde la abstracción se vuelve tangible
Uno de los ejemplos más llamativos del repositorio es un emulador de Game Boy Advance (GBA) modificado en el que las instrucciones aritméticas nativas del procesador —ADD, SUB, MUL— han sido reemplazadas por primitivas geométricas de CasNum. El resultado es una máquina que ejecuta código real de GBA utilizando exclusivamente construcciones euclidianas para sus operaciones de bajo nivel.
Más allá del aspecto lúdico, este ejemplo tiene un valor técnico claro: demuestra que el paradigma es Turing-completo, es decir, capaz de computar cualquier función computable, solo que con una representación matemática completamente distinta. El rendimiento se optimiza mediante un sistema de caché de intersecciones que evita recalcular construcciones ya resueltas.
Implementación RSA: criptografía sin margen de error
El repositorio incluye un programa RSA simple que ilustra cómo CasNum puede aplicarse a criptografía de precisión exacta. En algoritmos como RSA, los errores de redondeo flotante pueden comprometer la integridad de claves y firmas en casos extremos. Al realizar las operaciones sobre el campo de números constructibles, CasNum elimina ese riesgo estructuralmente.
La implementación reduce la factorización a una búsqueda de puntos en campos geométricos iterativos, superando los límites de precisión estándar de librerías convencionales. Es un caso de uso de nicho, pero con implicaciones reales para startups en el espacio de blockchain, firmas digitales verificables o computación segura.
Contexto histórico: de Euclides a la era del software
La idea de usar geometría para computar no es nueva. Ya en los años 40, Vannevar Bush exploró la computación analógica como alternativa a los modelos digitales. En la era moderna, sistemas como Mathematica (de Wolfram) y la biblioteca CGAL utilizan geometría exacta para aplicaciones de CAD y robótica. Lo que hace CasNum es extender ese enfoque hacia una aritmética general de propósito más amplio, conectando con la geometría computacional que desde los años 80 impacta el diseño de chips (VLSI) y la robótica.
¿Por qué debería importarle esto a un founder tech?
A primera vista, CasNum parece un ejercicio intelectual. Pero si miramos con más atención, hay al menos tres ángulos de interés para founders e innovadores del ecosistema tech:
1. Diferenciación en verticales de alta precisión
Startups en IA verificable, simulación científica, edtech de matemáticas o infraestructura cripto pueden encontrar en este enfoque un diferenciador técnico real. La propuesta de valor es simple: donde otras soluciones acumulan error, esta no.
2. API modular y extensible
CasNum está construido con una API intuitiva compatible con entornos modernos, con potencial de integración vía WebAssembly para aplicaciones web. Esto reduce la barrera de adopción para prototipos rápidos.
3. Inspiración para pensar diferente en algoritmos
El mayor valor para la comunidad de founders quizás no está en adoptar CasNum directamente, sino en lo que representa: la posibilidad de resolver problemas computacionales desde principios matemáticos fundamentales distintos. En un ecosistema donde la mayoría compite usando los mismos stacks, este tipo de pensamiento lateral genera ventajas sostenibles.
Limitaciones a considerar
Ser honesto con los trade-offs es parte del análisis: CasNum es entre 10 y 100 veces más lento que GMP en operaciones comparables. No es una solución de producción para sistemas que requieren alta velocidad. Su nicho es la exactitud matemática absoluta en escenarios donde el error no es tolerable, no la performance masiva.
Conclusión
CasNum es un proyecto que merece atención no tanto por su adopción inmediata, sino por lo que señala: hay territorio inexplorado en la intersección entre matemática clásica y programación moderna. Para founders que construyen en verticales donde la precisión es diferencial —cripto, simulación, edtech, verificación formal— vale la pena explorar el repositorio y evaluar si alguno de sus principios puede trasladarse a sus propios productos. La innovación tecnológica más interesante no siempre viene del stack más nuevo, sino de reimaginar los fundamentos.
Descubre cómo otros founders implementan algoritmos y soluciones técnicas innovadoras en nuestra comunidad gratuita.
Fuentes
- https://github.com/0x0mer/CasNum (fuente original)
- https://oa.upm.es/80551/1/PFG_CARLOS_GARIN_PINA.pdf (fuente adicional)
- https://gist.github.com/versae/706a3ac54e235e518986ea5741bbbeb0 (fuente adicional)
