Cuối cùng cũng đã đọc TOPLOC của @PrimeIntellect (). Suy nghĩ đầu tiên là nó thực sự tinh tế, một giao thức xác minh không đối xứng mà cả yêu cầu của người chứng minh và người xác minh đều rất rẻ. Có chút thất vọng vì @ezklxyz không được đề cập ở đây.

Nếu tôi nhớ không nhầm, ezkl là công nghệ tiên tiến nhất cho suy diễn có thể xác minh, mặc dù tốn kém hơn và ít linh hoạt hơn về quy mô của các mô hình mà nó có thể xác minh.