A dire la verità, dopo aver letto il documento sulla lingua Compact @MidnightNetwork , la mia prima reazione è stata che queste persone finalmente hanno capito, non costringendo più gli sviluppatori a combattere con le formule matematiche delle prove a conoscenza zero, ma permettendo loro di scrivere contratti privati usando una logica simile a TypeScript.
Sebbene questo approccio abbassi le barriere, mi preoccupa anche che un'eccessiva incapsulazione possa sacrificare una parte della sicurezza, dato che nel campo delle ZK, qualsiasi piccola vulnerabilità logica potrebbe portare a una fuga di dati.
Ho notato che durante la fase di test hanno corretto alcuni problemi di ritardo nella generazione delle prove a conoscenza zero, il che indica che l'architettura sottostante non è ancora perfetta, ma rispetto a quei progetti privati che sanno solo fare promesse, Midnight ha almeno presentato un compilatore utilizzabile.
Molti pensano che avere il supporto di Cardano sia un vantaggio, ma io credo che questo limiti piuttosto la sua capacità di esplosione, poiché un ecosistema obsoleto a volte può diventare un ostacolo.
Prevedo che nei prossimi mesi ci saranno molti progetti spazzatura che sfrutteranno questa bassa soglia, ma le vere applicazioni killer probabilmente richiederanno ancora sei mesi.
In sintesi, il livello attuale di completamento di questo progetto è circa sette o otto su dieci, i restanti tre dipenderanno da quanto la comunità riesca a sviluppare plugin privati interessanti, non c'è bisogno di mitizzarlo ora.