Creo que se puede ver la búsqueda del proyecto Midnight desde el lenguaje de programación; incluso han diseñado un lenguaje de programación de contratos inteligentes llamado Compact específicamente para el proyecto Midnight.
No puedo evitar decir que el equipo de este proyecto@MidnightNetwork realmente está trabajando en serio en el proyecto, sin recurrir a otros lenguajes por conveniencia.
Por supuesto, esto no es para inventar la rueda sin razón; hay un propósito claro detrás de esto. Antes de esto, el desarrollo de ZK casi requería que dominaras un alto nivel de conocimientos criptográficos, y el lenguaje Compact diseñado por IOG para el proyecto Midnight permite que los desarrolladores comunes de Web2 puedan escribir programas de privacidad de manera sencilla.
Por supuesto, para poder entender y aplicar mejor la tecnología de contratos de privacidad, el entorno de ejecución del lenguaje Compact ha sido desglosado. Un contrato de Midnight puede dividirse en tres partes claras: contexto de libro mayor, contexto de circuito y contexto de testigo#night .
El contexto de libro mayor define la parte pública en la cadena. El contexto de circuito puede convertir la lógica del contrato en circuitos de conocimiento cero. El contexto de testigo, por otro lado, almacena los datos correspondientes en dispositivos locales, protegiendo la seguridad de los datos más sensibles.
Por supuesto, la sintaxis de Compact se inspira en TypeScript, por lo que si alguien está familiarizado, la migración es relativamente sencilla.
Todo esto constituye$NIGHT un ecosistema de privacidad completo del proyecto Midnight, permitiendo que la tecnología de 'privacidad por defecto, divulgación a demanda' se implemente realmente. En aplicaciones de privacidad desarrolladas en el pasado, los desarrolladores tenían que construir su propio generador de pruebas y verificador. Con el respaldo de Compact, el compilador puede completar esto de manera automatizada, brindando una gran comodidad a los desarrolladores.
Bajo la arquitectura de la asociación, los contratos escritos en Compact también pueden ser fácilmente llamados por otras cadenas públicas, logrando privacidad entre cadenas.$DUSK