{"payload":{"header_redesign_enabled":false,"results":[{"id":"523348475","archived":false,"color":"#913960","followers":0,"has_funding_file":false,"hl_name":"dfirsov/easycrypt-multiple-time-blt-signature","hl_trunc_description":"Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping","language":"eC","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":523348475,"name":"easycrypt-multiple-time-blt-signature","owner_id":1494152,"owner_login":"dfirsov","updated_at":"2022-08-10T13:27:11.932Z","has_issues":true}},"sponsorable":false,"topics":["cryptography","digital-signature","formal-methods","formal-verification","timestamping","easycrypt"],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":50,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253Adfirsov%252Feasycrypt-multiple-time-blt-signature%2B%2Blanguage%253AeC","metadata":null,"csrf_tokens":{"/dfirsov/easycrypt-multiple-time-blt-signature/star":{"post":"TlsC1U9pMwcgio4D2_hoEgpKOMNjzH0c46BRlF1LNZuxV6ujcSmXV7hy_PlS6HvXsxIvTcjNyrqOfHpDD-bA5w"},"/dfirsov/easycrypt-multiple-time-blt-signature/unstar":{"post":"LWRV_Qyv90Po9pjri3u2JRWSvZhwOwDG-oSGVkdG0K-nl_nKP6U_4X7O-9azWVFoqHwQBCWYoVE1e0LN--lkIw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"WMC3J15Z4yGAdDxOr9n19X98CzveZWFR1HGv-0JPL60mghWmx2VCpF8kBC6orLHqfXi07DStCkKWhSDspoAxkg"}}},"title":"Repository search results"}