{"action":"created","issue":{"url":"https://api.github.com/repos/mitls/hacl-star/issues/26","repository_url":"https://api.github.com/repos/mitls/hacl-star","labels_url":"https://api.github.com/repos/mitls/hacl-star/issues/26/labels{/name}","comments_url":"https://api.github.com/repos/mitls/hacl-star/issues/26/comments","events_url":"https://api.github.com/repos/mitls/hacl-star/issues/26/events","html_url":"https://github.com/mitls/hacl-star/issues/26","id":246411728,"number":26,"title":"Random Number Generation for HACL*","user":{"login":"beurdouche","id":1193431,"avatar_url":"https://avatars0.githubusercontent.com/u/1193431?v=4","gravatar_id":"","url":"https://api.github.com/users/beurdouche","html_url":"https://github.com/beurdouche","followers_url":"https://api.github.com/users/beurdouche/followers","following_url":"https://api.github.com/users/beurdouche/following{/other_user}","gists_url":"https://api.github.com/users/beurdouche/gists{/gist_id}","starred_url":"https://api.github.com/users/beurdouche/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/beurdouche/subscriptions","organizations_url":"https://api.github.com/users/beurdouche/orgs","repos_url":"https://api.github.com/users/beurdouche/repos","events_url":"https://api.github.com/users/beurdouche/events{/privacy}","received_events_url":"https://api.github.com/users/beurdouche/received_events","type":"User","site_admin":false},"labels":[{"id":713577492,"url":"https://api.github.com/repos/mitls/hacl-star/labels/P1","name":"P1","color":"d93f0b","default":false},{"id":713582676,"url":"https://api.github.com/repos/mitls/hacl-star/labels/experimental","name":"experimental","color":"666666","default":false}],"state":"open","locked":false,"assignee":{"login":"beurdouche","id":1193431,"avatar_url":"https://avatars0.githubusercontent.com/u/1193431?v=4","gravatar_id":"","url":"https://api.github.com/users/beurdouche","html_url":"https://github.com/beurdouche","followers_url":"https://api.github.com/users/beurdouche/followers","following_url":"https://api.github.com/users/beurdouche/following{/other_user}","gists_url":"https://api.github.com/users/beurdouche/gists{/gist_id}","starred_url":"https://api.github.com/users/beurdouche/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/beurdouche/subscriptions","organizations_url":"https://api.github.com/users/beurdouche/orgs","repos_url":"https://api.github.com/users/beurdouche/repos","events_url":"https://api.github.com/users/beurdouche/events{/privacy}","received_events_url":"https://api.github.com/users/beurdouche/received_events","type":"User","site_admin":false},"assignees":[{"login":"beurdouche","id":1193431,"avatar_url":"https://avatars0.githubusercontent.com/u/1193431?v=4","gravatar_id":"","url":"https://api.github.com/users/beurdouche","html_url":"https://github.com/beurdouche","followers_url":"https://api.github.com/users/beurdouche/followers","following_url":"https://api.github.com/users/beurdouche/following{/other_user}","gists_url":"https://api.github.com/users/beurdouche/gists{/gist_id}","starred_url":"https://api.github.com/users/beurdouche/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/beurdouche/subscriptions","organizations_url":"https://api.github.com/users/beurdouche/orgs","repos_url":"https://api.github.com/users/beurdouche/repos","events_url":"https://api.github.com/users/beurdouche/events{/privacy}","received_events_url":"https://api.github.com/users/beurdouche/received_events","type":"User","site_admin":false}],"milestone":null,"comments":0,"created_at":"2017-07-28T17:31:39Z","updated_at":"2018-04-07T11:31:05Z","closed_at":null,"author_association":"OWNER","body":"Decide if we want to ship a CSPRNG with HACL*.\r\n\r\nI suspect we always would like to use the system libraries for randomness except when RDRAND is available. If we move the hardware support from `code/experimental` to `code`, recall my discussion with Barry on RDRAND from few months back."},"comment":{"url":"https://api.github.com/repos/mitls/hacl-star/issues/comments/379462852","html_url":"https://github.com/mitls/hacl-star/issues/26#issuecomment-379462852","issue_url":"https://api.github.com/repos/mitls/hacl-star/issues/26","id":379462852,"user":{"login":"beurdouche","id":1193431,"avatar_url":"https://avatars0.githubusercontent.com/u/1193431?v=4","gravatar_id":"","url":"https://api.github.com/users/beurdouche","html_url":"https://github.com/beurdouche","followers_url":"https://api.github.com/users/beurdouche/followers","following_url":"https://api.github.com/users/beurdouche/following{/other_user}","gists_url":"https://api.github.com/users/beurdouche/gists{/gist_id}","starred_url":"https://api.github.com/users/beurdouche/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/beurdouche/subscriptions","organizations_url":"https://api.github.com/users/beurdouche/orgs","repos_url":"https://api.github.com/users/beurdouche/repos","events_url":"https://api.github.com/users/beurdouche/events{/privacy}","received_events_url":"https://api.github.com/users/beurdouche/received_events","type":"User","site_admin":false},"created_at":"2018-04-07T11:31:05Z","updated_at":"2018-04-07T11:31:05Z","author_association":"OWNER","body":"We have the code which runs on Linux and Windows, but currently not all snapshots expose it, especially `hacl-c`. It will be provided as `Hacl_Unverified_Random.c/h` soon."}}
{"actor":{"display_login":"beurdouche"}}