霍斯金森改造卡爾達諾AI安全,引入硬體模塊