Bevor ich das Mainnet bereitstelle, nehme ich eine weitere Verbesserung der Lebensqualität im Migrationsprozess des Programms vor. Ich möchte, dass dieses Release 🫰🔥™️ ist. Bei der Veröffentlichung werde ich auch die neue formale Verifizierung auf die Zeitachse setzen, wie immer, mit einem Änderungsprotokoll.