Gặp gỡ @duveZK, kỹ sư zkVM tại Nexus.

Anh ấy đã học logic và CS, và hiện đang làm việc về xác minh hình thức, bằng chứng không kiến thức và cơ sở hạ tầng cung cấp năng lượng cho AI có thể kiểm chứng. https://t.co/sdOUZLKfVP