أخيرا ، وصلت إلى قراءة TOPLOC بواسطة @PrimeIntellect (). الأفكار الأولى هي أنه أنيق حقا ، وهو بروتوكول تحقق غير متماثل حيث تكون كل من متطلبات prover و verifier رخيصة حقا. شعرت بخيبة أمل بعض الشيء @ezklxyz لم يتم ذكره هنا

IIRC ، ezkl هو SOTA للاستدلال الذي يمكن التحقق منه ، على الرغم من أنه أكثر تكلفة ، وأقل مرونة فيما يتعلق بحجم النماذج التي يمكنه التحقق منها.