{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":148504316,"defaultBranch":"master","name":"cryptol-specs","ownerLogin":"GaloisInc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-09-12T15:46:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727294961.0","currentOid":""},"activityList":{"items":[{"before":"02bacfee6452d73b383d472355293e49f72602f5","after":"6eeed8d817a3e63a3edc3b7009918956cde105dc","ref":"refs/heads/135-update-mlkem","pushedAt":"2024-09-26T20:51:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"mlkem: add some docs to the NTT impls #135","shortMessageHtmlLink":"mlkem: add some docs to the NTT impls <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2507800728\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/135\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/135/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/135\">#135</a>"}},{"before":"74c75f07cc6bc8b91f3a0669c806c0bda3549fd7","after":"02bacfee6452d73b383d472355293e49f72602f5","ref":"refs/heads/135-update-mlkem","pushedAt":"2024-09-26T18:54:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"mlkem: move sampling functions in the file #135","shortMessageHtmlLink":"mlkem: move sampling functions in the file <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2507800728\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/135\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/135/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/135\">#135</a>"}},{"before":"37df9f650e043235f0e0ea647328d4ef14f9adf3","after":"74c75f07cc6bc8b91f3a0669c806c0bda3549fd7","ref":"refs/heads/135-update-mlkem","pushedAt":"2024-09-26T18:36:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"mlkem: move encode/decode up in the file #135","shortMessageHtmlLink":"mlkem: move encode/decode up in the file <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2507800728\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/135\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/135/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/135\">#135</a>"}},{"before":"f26b81a32dcf495ff43c7a61778bea09935f2732","after":"37df9f650e043235f0e0ea647328d4ef14f9adf3","ref":"refs/heads/135-update-mlkem","pushedAt":"2024-09-26T18:31:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"mlkem: best-effort docs for the encode/decods #135","shortMessageHtmlLink":"mlkem: best-effort docs for the encode/decods <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2507800728\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/135\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/135/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/135\">#135</a>"}},{"before":"0099440b5ec903c126021357b9ac48f4d79115b9","after":"f26b81a32dcf495ff43c7a61778bea09935f2732","ref":"refs/heads/135-update-mlkem","pushedAt":"2024-09-26T15:23:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"mlkem: add docs for some auxiliary functions #135\n\n- Cryptography functions\n- Conversions between bits & bytes\n- Compression and decompression","shortMessageHtmlLink":"mlkem: add docs for some auxiliary functions <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2507800728\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/135\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/135/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/135\">#135</a>"}},{"before":null,"after":"0099440b5ec903c126021357b9ac48f4d79115b9","ref":"refs/heads/135-update-mlkem","pushedAt":"2024-09-25T20:09:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"mlkem: document prelims and types #135","shortMessageHtmlLink":"mlkem: document prelims and types <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2507800728\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/135\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/135/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/135\">#135</a>"}},{"before":"b05ff925aa1fc69bbd0edb53ae7caabc38337afd","after":"c9a27c215634f03102bcfc54737db265046ed164","ref":"refs/heads/138-endian-conversions","pushedAt":"2024-09-24T20:30:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: add another link to the docs #138","shortMessageHtmlLink":"sha3: add another link to the docs <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516542035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/138\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/138/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/138\">#138</a>"}},{"before":"324af59e2d85525b1121ca21a569afdc16810195","after":"b05ff925aa1fc69bbd0edb53ae7caabc38337afd","ref":"refs/heads/138-endian-conversions","pushedAt":"2024-09-24T20:19:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: add normal-bit-ordered API for hashes #138\n\n- Adds a `hash` function that takes MSB input and output\n- Updates the test vectors for SHA3 functions to actually be the CAVP\n  vectors, and to use the new hash function","shortMessageHtmlLink":"sha3: add normal-bit-ordered API for hashes <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516542035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/138\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/138/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/138\">#138</a>"}},{"before":"8b452409b1046e10a2f4c249b8cda9fc8094397f","after":"324af59e2d85525b1121ca21a569afdc16810195","ref":"refs/heads/138-endian-conversions","pushedAt":"2024-09-24T17:41:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: add normal-bit-ordered API for shake256 #138\n\n- modify tests to be on xof instead of shake256\n- add docs to explain the difference and use cases","shortMessageHtmlLink":"sha3: add normal-bit-ordered API for shake256 <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516542035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/138\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/138/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/138\">#138</a>"}},{"before":"54af31618c099ba260cd24c837472f562324fba3","after":"8b452409b1046e10a2f4c249b8cda9fc8094397f","ref":"refs/heads/138-endian-conversions","pushedAt":"2024-09-24T17:23:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: add normal-bit-ordered API for shake128 #138\n\n- this adds an `xof` function that's takes normally-ordered (MSB) input\n  and output.\n- Adds documentation to `xof` and the old `shake128` function to explain\n  the differences.\n- modifies the tests to test out the `xof` function instead of\n  `shake128`.","shortMessageHtmlLink":"sha3: add normal-bit-ordered API for shake128 <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516542035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/138\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/138/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/138\">#138</a>"}},{"before":"7285c61ee91f5b96b7212daa9fa9872783485584","after":"54af31618c099ba260cd24c837472f562324fba3","ref":"refs/heads/138-endian-conversions","pushedAt":"2024-09-23T19:07:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: add and use truncate function #138\n\nThis adds a truncation function for inputs that are passed in the\neven-hex-digits format that nobody actually uses in practice.","shortMessageHtmlLink":"sha3: add and use truncate function <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516542035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/138\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/138/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/138\">#138</a>"}},{"before":"ba38fe781cb5d263725da146d84f616896b8623f","after":"7285c61ee91f5b96b7212daa9fa9872783485584","ref":"refs/heads/138-endian-conversions","pushedAt":"2024-09-23T17:22:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: add equivalence properties for ordering #138","shortMessageHtmlLink":"sha3: add equivalence properties for ordering <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516542035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/138\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/138/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/138\">#138</a>"}},{"before":"28c5fea667796bb0f9d12350b823c7044e562b1e","after":"ba38fe781cb5d263725da146d84f616896b8623f","ref":"refs/heads/138-endian-conversions","pushedAt":"2024-09-23T15:34:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: add b2h and properties re: bit order #138","shortMessageHtmlLink":"sha3: add b2h and properties re: bit order <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516542035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/138\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/138/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/138\">#138</a>"}},{"before":"fd8a6cfa0b43c69286c78063e3968f6d6c78f411","after":"28c5fea667796bb0f9d12350b823c7044e562b1e","ref":"refs/heads/138-endian-conversions","pushedAt":"2024-09-23T15:08:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: add b2h and properties re: bit order #138","shortMessageHtmlLink":"sha3: add b2h and properties re: bit order <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516542035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/138\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/138/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/138\">#138</a>"}},{"before":"7ec36011e74e89831f4955002d2666e8e0c02bc2","after":"fd8a6cfa0b43c69286c78063e3968f6d6c78f411","ref":"refs/heads/138-endian-conversions","pushedAt":"2024-09-20T21:27:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: move, rename the bit ordering functions #138\n\n- moves the h2b and reverseBitOrdering functions to utils\n- renames utils.cry -> KeccakBitOrdering.cry\n- updates all the files that currently depend on the (old-style) bit\n  ordering functions in there","shortMessageHtmlLink":"sha3: move, rename the bit ordering functions <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516542035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/138\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/138/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/138\">#138</a>"}},{"before":"d1c8601ec758e36971e78869fccba2b77796fdba","after":"7ec36011e74e89831f4955002d2666e8e0c02bc2","ref":"refs/heads/138-endian-conversions","pushedAt":"2024-09-20T17:41:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: move, rename the bit ordering functions #138\n\n- moves the h2b and reverseBitOrdering functions to utils\n- renames utils.cry -> KeccakBitOrdering.cry\n- updates all the files that currently depend on the (old-style) bit\n  ordering functions in there\n- Accidentally deletes a bunch of trailing whitespace in various\n  dependent files because my editor did it automatically...","shortMessageHtmlLink":"sha3: move, rename the bit ordering functions <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516542035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/138\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/138/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/138\">#138</a>"}},{"before":null,"after":"d1c8601ec758e36971e78869fccba2b77796fdba","ref":"refs/heads/138-endian-conversions","pushedAt":"2024-09-18T20:18:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: add h2b function from the spec #138","shortMessageHtmlLink":"sha3: add h2b function from the spec <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516542035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/138\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/138/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/138\">#138</a>"}},{"before":null,"after":"a44273c00af7f47e6d7ab71886303a473fffd0d1","ref":"refs/heads/138-clarify-round-functions","pushedAt":"2024-09-18T14:29:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: add hardcoded rho function #138","shortMessageHtmlLink":"sha3: add hardcoded rho function <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516542035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/138\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/138/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/138\">#138</a>"}},{"before":"847da6786ee115bc0293d5c3b590f2cbd6a837be","after":null,"ref":"refs/heads/123-add-ecdh","pushedAt":"2024-09-17T14:38:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"}},{"before":"122045b48b3a617e195082aff9bdc9667d3bab97","after":"2227e5b93e8dccc40d6aebe1bb9add1e038f4cbb","ref":"refs/heads/master","pushedAt":"2024-09-17T14:38:03.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"Merge pull request #125 from GaloisInc/123-add-ecdh\n\nAdd ECDH primitives","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2489973361\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/125\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/cryptol-specs/pull/125/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/pull/125\">#125</a> from GaloisInc/123-add-ecdh"}},{"before":"4e5f9d7507c1612a1dfd8435fcca2aa3ddfc7e4c","after":null,"ref":"refs/heads/132-document-sha3","pushedAt":"2024-09-17T14:37:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"}},{"before":"7a938d6edfe752e8c7da15100008e3c5e5b02e7c","after":"122045b48b3a617e195082aff9bdc9667d3bab97","ref":"refs/heads/master","pushedAt":"2024-09-17T14:36:57.000Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"Merge pull request #137 from GaloisInc/132-document-sha3\n\nUpdate structure of SHA3","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2511010324\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/137\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/cryptol-specs/pull/137/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/pull/137\">#137</a> from GaloisInc/132-document-sha3"}},{"before":"7a311f37699825b564798badc56f8c28071f06ed","after":"4e5f9d7507c1612a1dfd8435fcca2aa3ddfc7e4c","ref":"refs/heads/132-document-sha3","pushedAt":"2024-09-13T14:21:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: clarify docs and examples #132\n\n- adds some docs to various confusing bits\n- expands the demo calls to shake to include the nicest version","shortMessageHtmlLink":"sha3: clarify docs and examples <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2497283089\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/132\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/132/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/132\">#132</a>"}},{"before":null,"after":"5ece505405babd38440223aba965b55b3643eadd","ref":"refs/heads/138-clean-sha3","pushedAt":"2024-09-12T20:23:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: replace state mapping implementations #138\n\n- Reverts the flatten/unflatten change from the previous commit because\n  it didn't work (or something)\n- Clean up all the state transformation greek-letter functions. It's\n  slower than the previous version.","shortMessageHtmlLink":"sha3: replace state mapping implementations <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516542035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/138\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/138/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/138\">#138</a>"}},{"before":"c514ca2347beb2a71c5ca717d21566a5a1f856d5","after":"7a311f37699825b564798badc56f8c28071f06ed","ref":"refs/heads/132-document-sha3","pushedAt":"2024-09-09T16:44:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: fix types to work with infinite output #132\n\nSpecifically, this allows callers of `SHAKE` functions to either specify\na concrete output lengths (if the needed length is known at call time)\nor infinite length (if there's some additional processing before\ntruncating the output).","shortMessageHtmlLink":"sha3: fix types to work with infinite output <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2497283089\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/132\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/132/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/132\">#132</a>"}},{"before":"84815f2b182220f1c98e7ab5b6202e83d50a17b6","after":"c514ca2347beb2a71c5ca717d21566a5a1f856d5","ref":"refs/heads/132-document-sha3","pushedAt":"2024-09-06T18:41:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: add copyright notices #132","shortMessageHtmlLink":"sha3: add copyright notices <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2497283089\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/132\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/132/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/132\">#132</a>"}},{"before":"975633fa2306b772858ffc9d2584c209bc85a6bb","after":"84815f2b182220f1c98e7ab5b6202e83d50a17b6","ref":"refs/heads/132-document-sha3","pushedAt":"2024-09-06T14:49:47.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: add capacity parameter #132\n\n- removes all the functions that parameterize on `r` because r = b - c\n- adjust the instantiations to set `c` appropriately\n- rearrange a little thing with flatten since it doesn't do padding any\n  more","shortMessageHtmlLink":"sha3: add capacity parameter <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2497283089\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/132\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/132/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/132\">#132</a>"}},{"before":"e16e333fb9665be88c017a78679b0b2c5169950c","after":"847da6786ee115bc0293d5c3b590f2cbd6a837be","ref":"refs/heads/123-add-ecdh","pushedAt":"2024-09-05T18:31:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"ecdh: add more usage warnings! #123","shortMessageHtmlLink":"ecdh: add more usage warnings! <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2483739759\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/123\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/123/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/123\">#123</a>"}},{"before":"f1c53b2466f5113642db51c24ca9c9548d2341b1","after":"7a938d6edfe752e8c7da15100008e3c5e5b02e7c","ref":"refs/heads/master","pushedAt":"2024-09-05T13:23:09.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"Merge pull request #131 from rod-chapman/fips_203_final\n\nMLKEM FIPS 203 final","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2497168661\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/131\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/cryptol-specs/pull/131/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/pull/131\">#131</a> from rod-chapman/fips_203_final"}},{"before":null,"after":"975633fa2306b772858ffc9d2584c209bc85a6bb","ref":"refs/heads/132-document-sha3","pushedAt":"2024-09-03T19:00:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"sha3: parameterize keccak implementation #132\n\n- Refactors keccak to be in terms of `b` and `nr` per the spec\n- Instantiates SHA3 and SHAKE with the allowed security parameters\n- removes an unused reference to keccak\n\nAll the tests that I could find still pass :)","shortMessageHtmlLink":"sha3: parameterize keccak implementation <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2497283089\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol-specs/issues/132\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/cryptol-specs/issues/132/hovercard\" href=\"https://github.com/GaloisInc/cryptol-specs/issues/132\">#132</a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNlQyMDo1MTowMy4wMDAwMDBazwAAAATB8vyZ","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wM1QxOTowMDozOC4wMDAwMDBazwAAAASr7gtG"}},"title":"Activity · GaloisInc/cryptol-specs"}