{"action":"created","issue":{"url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/42","repository_url":"https://api.github.com/repos/mit-plv/fiat-crypto","labels_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/42/labels{/name}","comments_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/42/comments","events_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/42/events","html_url":"https://github.com/mit-plv/fiat-crypto/pull/42","id":168769291,"number":42,"title":"Define Montgomery reduction / multiplication on Z","user":{"login":"JasonGross","id":396076,"avatar_url":"https://avatars.githubusercontent.com/u/396076?v=3","gravatar_id":"","url":"https://api.github.com/users/JasonGross","html_url":"https://github.com/JasonGross","followers_url":"https://api.github.com/users/JasonGross/followers","following_url":"https://api.github.com/users/JasonGross/following{/other_user}","gists_url":"https://api.github.com/users/JasonGross/gists{/gist_id}","starred_url":"https://api.github.com/users/JasonGross/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JasonGross/subscriptions","organizations_url":"https://api.github.com/users/JasonGross/orgs","repos_url":"https://api.github.com/users/JasonGross/repos","events_url":"https://api.github.com/users/JasonGross/events{/privacy}","received_events_url":"https://api.github.com/users/JasonGross/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/mit-plv/fiat-crypto/labels/awaiting-reviewer-feedback","name":"awaiting-reviewer-feedback","color":"fbca04"}],"state":"open","locked":false,"assignee":{"login":"jadephilipoom","id":6509194,"avatar_url":"https://avatars.githubusercontent.com/u/6509194?v=3","gravatar_id":"","url":"https://api.github.com/users/jadephilipoom","html_url":"https://github.com/jadephilipoom","followers_url":"https://api.github.com/users/jadephilipoom/followers","following_url":"https://api.github.com/users/jadephilipoom/following{/other_user}","gists_url":"https://api.github.com/users/jadephilipoom/gists{/gist_id}","starred_url":"https://api.github.com/users/jadephilipoom/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jadephilipoom/subscriptions","organizations_url":"https://api.github.com/users/jadephilipoom/orgs","repos_url":"https://api.github.com/users/jadephilipoom/repos","events_url":"https://api.github.com/users/jadephilipoom/events{/privacy}","received_events_url":"https://api.github.com/users/jadephilipoom/received_events","type":"User","site_admin":false},"assignees":[{"login":"jadephilipoom","id":6509194,"avatar_url":"https://avatars.githubusercontent.com/u/6509194?v=3","gravatar_id":"","url":"https://api.github.com/users/jadephilipoom","html_url":"https://github.com/jadephilipoom","followers_url":"https://api.github.com/users/jadephilipoom/followers","following_url":"https://api.github.com/users/jadephilipoom/following{/other_user}","gists_url":"https://api.github.com/users/jadephilipoom/gists{/gist_id}","starred_url":"https://api.github.com/users/jadephilipoom/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jadephilipoom/subscriptions","organizations_url":"https://api.github.com/users/jadephilipoom/orgs","repos_url":"https://api.github.com/users/jadephilipoom/repos","events_url":"https://api.github.com/users/jadephilipoom/events{/privacy}","received_events_url":"https://api.github.com/users/jadephilipoom/received_events","type":"User","site_admin":false}],"milestone":null,"comments":10,"created_at":"2016-08-01T23:56:19Z","updated_at":"2016-08-05T18:41:02Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/mit-plv/fiat-crypto/pulls/42","html_url":"https://github.com/mit-plv/fiat-crypto/pull/42","diff_url":"https://github.com/mit-plv/fiat-crypto/pull/42.diff","patch_url":"https://github.com/mit-plv/fiat-crypto/pull/42.patch"},"body":"This is partly done for my own benefit, to internalize how Montgomery\r\nmultiplication works, and partly done as a template for word-based\r\nMontgomery multiplication when the carrying does not take advantage of\r\nthe fact that we are using a pseudomersenne prime.\r\n\r\n(@agl @mschilder123 @andres-erbsen @jadephilipoom) I'm looking for feedback on style, as well as correctness of transcription for ECC."},"comment":{"url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/comments/237930196","html_url":"https://github.com/mit-plv/fiat-crypto/pull/42#issuecomment-237930196","issue_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/42","id":237930196,"user":{"login":"jadephilipoom","id":6509194,"avatar_url":"https://avatars.githubusercontent.com/u/6509194?v=3","gravatar_id":"","url":"https://api.github.com/users/jadephilipoom","html_url":"https://github.com/jadephilipoom","followers_url":"https://api.github.com/users/jadephilipoom/followers","following_url":"https://api.github.com/users/jadephilipoom/following{/other_user}","gists_url":"https://api.github.com/users/jadephilipoom/gists{/gist_id}","starred_url":"https://api.github.com/users/jadephilipoom/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jadephilipoom/subscriptions","organizations_url":"https://api.github.com/users/jadephilipoom/orgs","repos_url":"https://api.github.com/users/jadephilipoom/repos","events_url":"https://api.github.com/users/jadephilipoom/events{/privacy}","received_events_url":"https://api.github.com/users/jadephilipoom/received_events","type":"User","site_admin":false},"created_at":"2016-08-05T18:41:01Z","updated_at":"2016-08-05T18:41:01Z","body":"Looks good."}}
{"actor":{"display_login":"jadephilipoom"}}