Reach permitirá que decenas de millones de desarrolladores participen en la comunidad blockchain, en lugar de solo los miles que participan hoy en día, al reducir drásticamente la barrera de entrada en blockchain y aumentar drásticamente la productividad de los desarrolladores de DApp. Una aplicación descentralizada que solía tardar meses en desarrollarse se podrá completar en semanas.
La plataforma Reach proporciona tres servicios a través de un lenguaje específico de dominio (DSL) para especificar DApps y un compilador especializado que proyecta la especificación en la aplicación completa mientras realiza la verificación automática de las propiedades de corrección.
Resumen de financiación
Total de Rondas
1+
También vieron
revert
Análisis procesables para proveedores de liquidez de DeFi.
Fortmatic
Cree dApps web3 sin extensiones ni descargas.
Clearmatics
Infraestructura distribuida del mercado financiero (dFMI) del futuro.
Capital de primer plano
Se centró en identificar el valor en los libros de contabilidad distribuidos a largo plazo.
