syntaxai/tdd.md · main · public / images / verifier-no-oracle-gap.png
�PNG
IHDR � � g� bKGD � � ����� IDATx���w\T��8�����v�m�mP���{�7&��ܛܘ�zLr��'�I57�Mnrc��h����
�R�.�ץm��1���<,g���_gۙٙ93gΙ�� ��aNu L
� ���! X(� ���! X(� ���! X(� ���! X(� ���! X(� ���! X(� ���! X(� ���! X(� ���! X(� ���! X(� ���! X(� ���! X(� ���! X(� ���! X(�Ù�8��1gΜ��8�\���;�s����L��`:�z ���S�)�j�*�1ާ���B���->>�������f���888�Y�!�����L�~����7k�,�;EEE���&3y�Ov� �MF3C���u�L���fmm������4Uq�)�<@1+++���АF���� ,�%vccc��q����H$���kkk�[O������ڜ�������~����G}���m�:�&���N`��(cf�������"""�����˧�C8S�y�����w�F���kS �e�������B.��v�Z�СC�FFF�:^f522����s8#����3����}���픔77��e�Lv� �MF�|��L�� L-K��
�@�7nݺ������}}}���:���h:;;U*����GG������!&������ݭP(F��b��b�R���5^p��N�nkk��r;;;�j�a�a2�b�!���5��b�Xvvv������������c��u:�A4�}�8k����eN�,�e�$��w}˘���L�I�*�dz��Guww�a�A'>t���G$�����"���fy�Џ���y:�τ�1U����1:�fXt��$L��JC ��g�B�4�T*]�f
�:�d�P�r6������rB���W�^=}���'v�祗^R(�n݊��ٻwoff����\.�ꫯBR�t۶mMMMǏ_�~���
B���n߾}���$��^{�:b677��_Պ��ݻ�W_}�����燣t���K�.�&����������Bj��������===�;</===66�o�V�����9"���JC:����w:q�0}H~�9sFGX椻2�������������W���7n������?p���q���1��g�y���~�v��Utt����{{{�z�-��G��>!��;�c�>��U//�+Vxzz�w��ˏ9B��4��X�:e�N�s8������X������W��<yR�T�/�<NE"��͛q�{{{:d� 4��Y���_t�yS���LX6�-[6�����?����p��888���>|�N��0� �����'����Ν;w��)���Tya�s �L��Ѕ�b�_�����Ν;*�J"�lݺ�� �ڵk
ENNNNN�R�LLLē��Bg?<���*77���nٲ������X(.^���56��iӦ�����j�J�����?�b<iiib��Ν;===<oٲe���z�gժU.��xMMM555J�244t�Ν�}�6nܘ���P(
GFFf͚�m�6��N|�|�g����pt�eN�ˡZ�.))AI�R�BCCB��Ť�F������j�����~?22!TPP�D��>!S�;�c��˪���}��������p�ҥ˗/���m߾]�5�Mr,ӌ�2F'�[7�|���������p,X��P�>Nƶm�<==U*Uuuuoo��͛Y,�^��W|LU�OX��ُI�Є&,'O�loowppHMM��,Z��������ĉ�kt�ͺNG~��j��CCC��CCC$��퀙*/Lun �)��.��=b���������;;;��� ����###�����ك/^�pᩧ����<w�\kk+�Ph������������������</<<\k������������{xx���744�/����x_%�������_*���f���>>>���d�� �#��̙�"{�G�bqtttNNB�����ۻ��>����i��SOy{{����v1:��t�;�8�LgGGGa��rXTT��pȕ������:�صk�.\(�H���BB�w�����/���� ��L��e�����ʪ���O>��l�s���x<'''�w,Mu,Ӊ�2F'�]\\"""4͗_~�KN��eU�q������R�>���ٳg�[���_&���T����τ�1U�
���P(~��LJzh�����j�z������ ��C��ӑ_---���*BH �{���a�ʘ*/Lun �A�C���� �pXYY���%�q�������&H�����`�DB�Ҥ�|
NZ,����?�800@�����777���;::������'�Ry��M�?���`0���$>===�O�$�����q[Httttuu988��ٙ�CH'>��|7m�u�5�իWO��p�����꾾>����[�n!�����\nMM
��:�XOOϝ;w���cbb~��w�PDD��jhh�댄~��f�|�s,�a|Y�Y,����Q(_|�11U�Љ�2F'�% B����\窬�lhh����*������!���L�����˖-���4���1I=od��o�����O]]]VVVJJʊ+4
�����&��W~��u&l�u0U^��� 0�@�P��/x�5��Ǎ���$%%��X[[#��ӄh2�~tę,�c�:;;��s���{ĵkרS�B,+&&��������Y:
b��A�i�<aX�i=/aL4;�tʡF�)**JHH�°�0�Nj�U�u�����������S�N��j���7n��;�|����*}Ɨպ����a�X��/477www���WVVRO�i2I�Љ�2F'��~���_j�U��+X2��G����1��7��A�KCS�_��9s&88���!��֦5U�~��� �eL��=' ��!4p������1�Gf�Ϥ*/////7�n�Ν;]\\����"���_�iZřfg��尸�8!!!$$��k�����F��۷o���������z{{�T������U��D'���~���U�����́���7n��㏦
�:�1mݫ�G�g�Ň��g�eC�Rݼy�Ӿq�˥L���Ty1�� ��Ch8�F�*,,$����2���\\\d2ٗ_~I��=��SNNNS1�U��^�j�]�,����===vvv����F(�������:�j����.\����`0��ʦ���*�i�����w�}������A,{yy���FGG_�~����M�>�Ǵu��M��:�[��
�X����R�4Mrr�͛7;;;'),�0U^L�� 0����2�yJ��&
�/�)9��'�x� ���z��m�t|����������V��+�t�C�^q�Ah�C<jt�����x.MII u�OӖ�k�������G�鵜�W��(c31��ę���l�J������WSS���/"""<<<�wM�>t�C����w�����Z�?u��֟��-��3}�yS��i�3a��`0֮]���rss5�ܹs]��_����C��3O~�*/L[� fx��d2B�������#
�x�]�v����?�Ϗ���۞��x�x�F3khh�h4b�?* !dgg������O�2��
�������S�
�vB'>t���~9ī��RNj�:���***x<������@YY��{�+�u�����t�<k֬_|��$3����"�ӇN|�1:������A��������h�7�'�+XWWW2�n����N �+>ӧ�7U,���^|����D��3a�3�|__߾���'O�:u�����ח��*��C����_CCCx�*� 2����� 3�!4\kkkaaadd�#�<RUU�T*����|~uu�^�p�j?do˗/OHH���f2����d����ȕ+W�m|����@}���4����OWWW^^^\\�ƍ��������ݹ\nGGY���0:::,,��kjj�������Σ�~�z\\\``�K/�D�B���4{M'>tЉ���ٜ�ú����.GGG�Z��������B<�[�|�Q�fb�Ӊsee�B�pww�����!
����´a�A'>t��|omm-((�������q%����`0nܸ���F?θ�uww��e2����mmm�����Sϛ*
GGG|?Ͱ8�
''���t���Ç�M�Çoݺ5==���G�f��Y���/?�5**�O����0vq��q��_�*/L^� �?��СC}}}qqq���!��'N�;w�T�Ai4�}���_����!T__�o�>���uݚ�f����Ƥ��Ç���ϟ?O�W�ե��G�!�������Kff&����ӳo�>�T�������_���������Z�p���A'ΦJg3�Y5Mqqqbb"��,**]JMX�B���xC��E �������|�����j�ҥ��B�����ѣ�~� â�f|�1:�N��o����h-89!�F��w�m����wڿ��%K�����3��y��!�3]�R�����e��d�_����������������[���>Ý1��τu���"~��ב����Prk]��0����� ��a�-����*����ۀ;�ڏT*ݶm[[[�{��b��b�R���n�0�L�X�����1�L�H��h�����Ѧ*>4wb�8��4)�D||��U�Z[[��}�w�,8�iƙ��D"�PWW�^�H�:�S���;���a��Q
#��lvgg�1^w|�m=o�4���HII��d�~��1�1U�C���kJ��Tya�4 Lp���J�I�Q�j?!�Je�p�ɠV�uOnQ���'>4wb�8��t+�111Ƞ�d�Xl�ӌ��Ȉ�7a�Љ�2F'�U*�I&���D�f|�U=o�4ķ��He���N������Tya�s �4�� �/gggOOO�FSXX8�q L:�l���d ��e�`b�������J� Ls###����/
��箯竫�������fʐl���� �`! X(2
:� `��C
:� `��C
:� `��C
:� `��C
:� `��C
:� `��C
:� `��C
:� `��C ���p�: ���^�z��ի%IYY�J��� 3g�m% �=� �Lv����?�oϟ?������ t����� d��e˖����~��͛�ZF
>p���)��9s�Lv����ܞB���
�vbbb__����\S~|M*���$
�vGG�\.�&aA�fr�_���k֬ ���c�X�������nӆe#??��`������fj��]�B;����v¯ �B3D�B�X���\�T�!���>>>d�!N���4!� ���kRA�=��˗�����/���xW��l&g@��d2���gݺuc~�#_�a[I��h�|>��E)
�
`�!h���uuuAAA555���:: -�_[�n�7h��lxxwGFF�:. �%�C��������1?���0sd�b---o��&���[�zzz�-���o���ق�����2���2��ڴi�>r�H^^uy����ef���666:� �tѥK��?>ձ��utt|��g�w-ZtW��`~�s|A�
~~~x�����'����Vkm �B�6l� �����~;zJ���͖-[�vWW�?�0�K�,���wssc0MMMyyyG�����@ �ӟ������._����v�� ����ƣG��>}���u�֑I�����[[[�͛7������Q���[�hQrr������moooII���^TTd��S���/_�<**�����dvww���=z�Ν;��L�-���'O��~RRRhh(B������������իW?�쳁������[�Z[[�={�?���B�0�_�h4<oӦMqqq��Ν���ϟ?x�P�J
���vٲe���nnn��RY]]}��Ŭ�,�//�W333���B*��/��r��6m���������_�|ytt���B�������ȑ#===��l�QIe@~!�_z�Q�\@@@jj*������﴾��e�}�
۷ok}����+
��<��Z�jUJJ���K[[۹s�>�U�x�6��k�g͚E�OJJ����~S�T������ �$,j��.�ӿ5G�_Zx<�hoo��42,3��rc��B3�z �P�@0�q��W�~��w��c�=F�z���o۶
o?���ǎӱ�o�����^�~�f͚���������导������wrr�����_~�����?��sR�cǏ��'I��kG}o���w��>7m���o��/���l#11��7�tuu���ӧ�{���~{�����X��R�
���|��'z�1��y�Сݻwk],������soǏs)�W_}u�֭����zѢE^^^��S�N}��W�~�-�������O=���8O��O?����� {��
�~���l���---Z?4 5Biiio�����ݘ�)--}�'���
�3Fǐ����p||������_/5��?���g�]����z�o��z߀�3,���/�eN��\.�ȑ#�����V��t��={������+VRnX�뛆�2?{��/��2>>������x�����͵s�ryDD�o����ِY���o͑A헖��*����K��ɘ�̓Z�=�/�VVV���눞9[= f4�TG`�8z�(�&M�V�j`�m���;1BB���ҽT�P(ܳg�V��Z�d�_������j�o�9�|Ŋd��_~�"M)))_}��L�������T������?�������kג��$�Ν���E����?����/�Z�*&&�T�i4�g�}V� !��G�^� ����kBR�t���b�X�����z���z�h��0�#�<����}�+bB��W^y衇t���Q���<�����������~�����K/�IG!r��R��{�9�ޠa)od>���Z�A�PDD�|0s�Էf3O9����a|||�S��mmm�2^u���J
r�lhhH�����0���Q��]�������Z�p!�á^���x�q=mmmyyy�#//�_|owtt���[7n�P��111�=������+++���f̠SSSmllN�:U\\lkk�|�r�����?��S<⥮��ҥK���������ಲ2�r�q�����R#D(�����Y}}����;;;CBBRSS��BBB�q��.���{�}��m�\������!���3�%K����RS^�T�d2��byxx����}ѢE?��X���H77����8{���ׯ��0�Z���QQQq���R����?�3gNRR҅ȗ
K��۷�3���y߾}���,��������C999�{�����ǰ,+33�fj����o�yy��m���8�}��O�:E��k�yT��<���������O>��'�@9;;?���o>�쳸&G}��ZG�a)od�X��7VWW�:ujpp0..ny��y��Q�|CC�����&粝������}�>W��������V�k�j�6l�����~?44t�x���r�۰�Ҝ���tu5g��LB���o��+Q���P�V�Ju�� |����&!!�ڒ͟?�\0���ߩ��7m�D����z*;;oWUU555ၝg���cF!�zaG$ IDAT��{������裏�9�G3
��2�c����C�Z�v-uP�e��)�O?�D'et[�r%y�ԥK�v��I� �����W�^�n�;�c�0�E���?��3'N����Ν��d��~���Jm����SRR�K�HD��VXX�۰s���BVV�\.���(((�_M�b��*,,���p�������K�,��&''S�a��� ����v��E��TWW���x����:C��f����L
�l�<�����w��E��b���k7n�Ѡ���B��4,5�y|_G��۳gOZZ.��7o�U>WYY9�ެa)od�������۷���y�Gyo/]������L�7������&��a�U���Έ�ܘ�K_��e��вc�\������0���Q$l�2zD��q&�&ԯ!���B�LFjL,;;�\����/�uuu���#/{{{�W�$ �>}�t[[�^�z5Y QƋ�T�Ç�}�����+�W�^�����x#��;z���?�9s����˗ɶ�������+��r�o}� B�R}��G�#j#CS���c�X�/����-Z�(%%%%%e]����~jO�C���7�x��U�T���d���9s����Ұ�0��e|eN�kl��B�x�g��&��k]�v�#W�T�ڵk��M�R��4ܳg5���������_M�es���ߚOS�r�������w�[��9[= f:�C���ׯ����!
iii/��">qd2�iii�;mmm]���,lUWW7z�uuu���qr\YY��Du4�4H�P:t_&wttLNN�'����d�������V�z\dhB���B��7�x���?���F������܌�9�X,&�����Jkh"��֙�a�QSS�rww���ϝ;W]]][[[[[;抚�0>�视a�FSSS__�������f|<�G�D��4,5�y|_GMg���{���K@�q����_x��R��4�ZlV.�����a�d�虈��l�r8�[s|��g���'/ϟ?�7
�|�I�/�d�4O
d�V��:���?s�Zww��;j�����۷oG999͞=�111��>q��2C*���_B�߾�k�#�'�Z'����AR�k��u����zO�_�v-�._��L�����H/ԉ�'�����p5H���\�n����g͚e���ӍV�a@j=z��{��ۑ������������C�=z�TϪ22��J
�(���' �TG��a����:ʜ���ħ�~���Nf�!����>���1�lX���Z� J��1��?��YgDk�����1�9����)��2�S���`F�!*++�t��/;v7!���܄�X��J$Q�2��˗��Q[[{�ҥ �RSSE"QWW�ʕ+�����N�2I������>#�#-�a�q���o���<