TL;DR:
- Morpho Midnight se basa en la simplicidad, la inmutabilidad y la no custodia, con el protocolo completo limitado a 1100 l铆neas de c贸digo.
- El protocolo incluye primitivas de cr茅dito de tasa fija y vencimiento fijo, contratos inmutables, gobernanza con alcance y ninguna capacidad para pausar, alterar o actualizar las implementaciones.
- Morpho utiliz贸 verificaci贸n formal continua, ingenieros internos y de Certora, cuatro auditor铆as externas y un concurso de auditor铆a p煤blica de Cantina con hasta 400.000 d贸lares en premios para investigadores de seguridad de todo el mundo.
Morpho Midnight se presenta como un protocolo de cr茅dito que prioriza la seguridad cuyas decisiones m谩s importantes se tomaron antes de que comenzara el desarrollo. Morpho dice que el producto fue dise帽ado en torno a tres principios fijos: simplicidad, inmutabilidad y no custodia. Ese marco es importante porque los protocolos de pr茅stamos DeFi generalmente se vuelven complejos a medida que agregan caracter铆sticas, integraciones y controles de gobernanza. Midnight va en sentido contrario, con el protocolo completo limitado a 1100 l铆neas de c贸digo. La tesis de la seguridad empieza con menos superficiehaciendo de la moderaci贸n la decisi贸n central de ingenier铆a en lugar de una ocurrencia tard铆a para los desarrolladores, curadores y futuros integradores que eval煤an el riesgo.
La seguridad comienza con la disciplina del alcance
Morpho dice que Midnight contiene solo las primitivas centrales necesarias para una red de cr茅dito de tasa fija y vencimiento fijo, mientras que los casos de uso espec铆ficos se construyen por encima de esas primitivas y no afectan la seguridad de la capa base. Sus contratos son inmutables y no actualizables, lo que significa que nadie puede pausarlos, modificarlos o actualizarlos una vez implementados. La gobernanza tambi茅n tiene un alcance estricto: los titulares de MORPHO solo pueden ampliar los valores LLTV y LIF permitidos y activar las tarifas del protocolo dentro de l铆mites inmutables. El protocolo est谩 dise帽ado para minimizar el control discrecional.que es una respuesta sorprendente a los ataques recientes dirigidos a capas de control de acceso.
La seguridad tambi茅n dio forma al proceso de construcci贸n en s铆. Morpho dice que no hay separaci贸n entre dise帽o e implementaci贸n, con un equipo responsable de dise帽ar, probar y codificar el protocolo. Cada l铆nea ten铆a que justificar su lugar, y la respuesta predeterminada a las nuevas funciones era no, a menos que los requisitos no pudieran cumplirse claramente sin ellas. El equipo prioriz贸 el dise帽o basado en los primeros principios, el alcance m铆nimo, la simplicidad sobre la optimizaci贸n y la durabilidad a largo plazo. Midnight trata la complejidad como una responsabilidadespecialmente porque los contratos inmutables deben seguir siendo confiables durante a帽os en mercados, or谩culos e integraciones cambiantes.
Morpho tambi茅n incorpor贸 una verificaci贸n formal continua al desarrollo, m谩s all谩 de las pruebas unitarias, la confusi贸n y el escaneo de IA. Los ingenieros internos dedicados y los ingenieros de Certora trabajaron junto con el equipo de protocolo desde el principio, permitiendo que los problemas surgieran mientras el redise帽o a煤n era posible y no despu茅s de la implementaci贸n. Debido a que Midnight es peque帽a, Morpho dice que la verificaci贸n formal puede cubrir todo el c贸digo base. Despu茅s del trabajo interno, el protocolo pas贸 por cuatro auditor铆as externas realizadas por Spearbit, Stermi, Trust Security y Blackthorn, adem谩s de un concurso de auditor铆a p煤blica de Cantina con hasta 400.000 d贸lares en premios. El modelo de seguridad final combina c贸digo peque帽o, verificaci贸n matem谩tica y revisi贸n adversarial.pero la ejecuci贸n decidir谩 si esa disciplina sobrevive al uso real una vez que el capital comience a moverse a trav茅s de los mercados reales.
