{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":687061863,"defaultBranch":"main","name":"master-thesis-key-trans","ownerLogin":"thgoebel","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-04T14:19:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33295590?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1700554112.0","currentOid":""},"activityList":{"items":[{"before":"f82fb46883aa7829d76938bf40882ad3a4c078da","after":"de382ad4827060e5c37430f5de525321cd00b185","ref":"refs/heads/main","pushedAt":"2023-11-27T14:54:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"Add final presentation slides","shortMessageHtmlLink":"Add final presentation slides"}},{"before":"7f8da64391f861ec4f4c596ef7a04e1b48be529f","after":"f82fb46883aa7829d76938bf40882ad3a4c078da","ref":"refs/heads/main","pushedAt":"2023-11-21T08:19:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"Change working title to final title","shortMessageHtmlLink":"Change working title to final title"}},{"before":"a800be267a9b451aa6f33e72f8856a35b4839d87","after":"7f8da64391f861ec4f4c596ef7a04e1b48be529f","ref":"refs/heads/main","pushedAt":"2023-11-21T08:12:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"Add thesis pdf","shortMessageHtmlLink":"Add thesis pdf"}},{"before":"92caf4b4763ce745c63f192d45ea7a4ab45296bf","after":"a800be267a9b451aa6f33e72f8856a35b4839d87","ref":"refs/heads/main","pushedAt":"2023-11-21T08:10:00.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"Dump WIP attempts","shortMessageHtmlLink":"Dump WIP attempts"}},{"before":"7df8983dcd4171fa66ac5c9b8abfa844701de086","after":null,"ref":"refs/heads/review","pushedAt":"2023-11-21T08:08:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"}},{"before":null,"after":"a800be267a9b451aa6f33e72f8856a35b4839d87","ref":"refs/heads/more-attempts","pushedAt":"2023-11-15T10:47:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"Dump WIP attempts","shortMessageHtmlLink":"Dump WIP attempts"}},{"before":"6413dadcede4a041398a04dfc70a28329225009a","after":"16f42b9fd70b3e59b9c3973444fb7b2224f08301","ref":"refs/heads/dump","pushedAt":"2023-10-31T15:22:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"felixlinker","name":"Felix Linker","path":"/felixlinker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9728715?s=80&v=4"},"commit":{"message":"Audit reuse lemmas","shortMessageHtmlLink":"Audit reuse lemmas"}},{"before":"6ad9eaa447ac326eb5fbbe0b7242e0e5a0569337","after":"6413dadcede4a041398a04dfc70a28329225009a","ref":"refs/heads/dump","pushedAt":"2023-10-26T15:44:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"not-yet-working attempt at pulling consistency out into helper lemmas 1+2","shortMessageHtmlLink":"not-yet-working attempt at pulling consistency out into helper lemmas…"}},{"before":"4601a881f17b6474e50c9d9d01c455cd14ac7496","after":"6ad9eaa447ac326eb5fbbe0b7242e0e5a0569337","ref":"refs/heads/dump","pushedAt":"2023-10-26T14:36:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"refactor: use a single action fact for QueryVerified()","shortMessageHtmlLink":"refactor: use a single action fact for QueryVerified()"}},{"before":"b1567437365ea26cf24c1372854a208c0f7b2d15","after":"4601a881f17b6474e50c9d9d01c455cd14ac7496","ref":"refs/heads/dump","pushedAt":"2023-10-25T09:55:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"felixlinker","name":"Felix Linker","path":"/felixlinker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9728715?s=80&v=4"},"commit":{"message":"Add chainhash roothash relation aux lemmas","shortMessageHtmlLink":"Add chainhash roothash relation aux lemmas"}},{"before":"3e4bea348d030804454830b85e525f43dbe413eb","after":"b1567437365ea26cf24c1372854a208c0f7b2d15","ref":"refs/heads/dump","pushedAt":"2023-10-25T09:41:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"felixlinker","name":"Felix Linker","path":"/felixlinker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9728715?s=80&v=4"},"commit":{"message":"Hotfix","shortMessageHtmlLink":"Hotfix"}},{"before":"1ec9733235a821707f7e9386446b924fb483f625","after":"3e4bea348d030804454830b85e525f43dbe413eb","ref":"refs/heads/dump","pushedAt":"2023-10-25T09:35:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"fix append audit in sec lemma","shortMessageHtmlLink":"fix append audit in sec lemma"}},{"before":"02f21cfaa422821df53b20bb6b20546228f10e37","after":"1ec9733235a821707f7e9386446b924fb483f625","ref":"refs/heads/dump","pushedAt":"2023-10-25T09:34:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"add chainhash to all append audits","shortMessageHtmlLink":"add chainhash to all append audits"}},{"before":"db0d5068a5bb81036dc0dc5bf17112eb92782ed0","after":"02f21cfaa422821df53b20bb6b20546228f10e37","ref":"refs/heads/dump","pushedAt":"2023-10-25T09:29:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"Append-audit fixes\n\n1. Fix epoch 1 not checked against CT\n2. Fix user tree revision not starting at 2 (see main.spthy)\n3. Add restriction for label to be unique","shortMessageHtmlLink":"Append-audit fixes"}},{"before":"b00f8bab71842521668e287bfa1b08b4d8719152","after":"db0d5068a5bb81036dc0dc5bf17112eb92782ed0","ref":"refs/heads/dump","pushedAt":"2023-10-25T09:28:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"felixlinker","name":"Felix Linker","path":"/felixlinker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9728715?s=80&v=4"},"commit":{"message":"Check CT inclusion of epoch %1","shortMessageHtmlLink":"Check CT inclusion of epoch %1"}},{"before":"6363411531fad69a384f9e92fe6d3c01087ac8e9","after":"b00f8bab71842521668e287bfa1b08b4d8719152","ref":"refs/heads/dump","pushedAt":"2023-10-25T09:08:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"check chainhash again in VKD.VerifyEpoch","shortMessageHtmlLink":"check chainhash again in VKD.VerifyEpoch"}},{"before":null,"after":"6363411531fad69a384f9e92fe6d3c01087ac8e9","ref":"refs/heads/dump","pushedAt":"2023-10-25T08:35:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"dump","shortMessageHtmlLink":"dump"}},{"before":"0df15fff232625db257e99c7bba9e251e6df587f","after":"92caf4b4763ce745c63f192d45ea7a4ab45296bf","ref":"refs/heads/main","pushedAt":"2023-10-24T20:32:22.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"SelfAudit: ensure that proof_rest starts with last_verified_rev\n\nI.e. ensure/fix that there is no gap that the adversary is hiding in the KeyHistory","shortMessageHtmlLink":"SelfAudit: ensure that proof_rest starts with last_verified_rev"}},{"before":"858c6feddb00c8d7069a6c613da25c6d28cbd39b","after":"0df15fff232625db257e99c7bba9e251e6df587f","ref":"refs/heads/main","pushedAt":"2023-10-24T11:14:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"Play around with oracle and self-audit looping","shortMessageHtmlLink":"Play around with oracle and self-audit looping"}},{"before":"dca73a84529df3c3cd0803d0be6399fd242afb6a","after":"858c6feddb00c8d7069a6c613da25c6d28cbd39b","ref":"refs/heads/main","pushedAt":"2023-10-19T15:38:10.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"Play around with oracle and self-audit looping","shortMessageHtmlLink":"Play around with oracle and self-audit looping"}},{"before":"2995d05b9d0316b269a028f0709c6684ceab357b","after":"dca73a84529df3c3cd0803d0be6399fd242afb6a","ref":"refs/heads/main","pushedAt":"2023-10-18T16:30:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"AppendAuditor: require that chainhashes are logged in CT","shortMessageHtmlLink":"AppendAuditor: require that chainhashes are logged in CT"}},{"before":"fb581cf5880b1e664bf39740743f4c95e6a8792a","after":"2995d05b9d0316b269a028f0709c6684ceab357b","ref":"refs/heads/main","pushedAt":"2023-10-17T21:31:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"Implement Apppend-only-ness Auditor","shortMessageHtmlLink":"Implement Apppend-only-ness Auditor"}},{"before":"64f8dfb5fe959223064e93b96bd079f8b602d93c","after":"fb581cf5880b1e664bf39740743f4c95e6a8792a","ref":"refs/heads/main","pushedAt":"2023-10-17T20:59:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"Implement Apppend-only-ness Auditor","shortMessageHtmlLink":"Implement Apppend-only-ness Auditor"}},{"before":"a985266f4b44df70290458f9d53a4ce577bb5a0c","after":"64f8dfb5fe959223064e93b96bd079f8b602d93c","ref":"refs/heads/main","pushedAt":"2023-10-17T14:30:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"refactor: merge rules to simplify Query/VerifyQuery","shortMessageHtmlLink":"refactor: merge rules to simplify Query/VerifyQuery"}},{"before":"75ba569c36f8c4b0ff983c6476f4913d245a3fd2","after":"a985266f4b44df70290458f9d53a4ce577bb5a0c","ref":"refs/heads/main","pushedAt":"2023-10-17T14:22:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"Big refactor\n\n1. Querying doesn't need client-state\n   => use a dedicated St_Query instead of sharing St_Client\n\n2. VerifyEpoch: instead of a call_stack, emit a state fact and pick it up again.\n   Here the ~id is important. It ensures correct rule progression.","shortMessageHtmlLink":"Big refactor"}},{"before":"bd6b0b84e0c4b44283e466b4977f3fc9658c79eb","after":"75ba569c36f8c4b0ff983c6476f4913d245a3fd2","ref":"refs/heads/main","pushedAt":"2023-10-12T14:23:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"Document tree model","shortMessageHtmlLink":"Document tree model"}},{"before":"4dd0e851a3f9314e7664ccb497a9a02c3e9f02da","after":"bd6b0b84e0c4b44283e466b4977f3fc9658c79eb","ref":"refs/heads/main","pushedAt":"2023-10-12T11:24:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"refactor: Store key_revs and keys as pairs in St_Client","shortMessageHtmlLink":"refactor: Store key_revs and keys as pairs in St_Client"}},{"before":"2dac5c3372ef71c89f7ab7bcf3ce01597a6c859b","after":"4dd0e851a3f9314e7664ccb497a9a02c3e9f02da","ref":"refs/heads/main","pushedAt":"2023-10-12T11:09:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"Fix executability lemmas for tree-as-list","shortMessageHtmlLink":"Fix executability lemmas for tree-as-list"}},{"before":"1fece5062d49348d0e215ed3a1a2cab65f725d6a","after":"2dac5c3372ef71c89f7ab7bcf3ce01597a6c859b","ref":"refs/heads/main","pushedAt":"2023-10-11T13:53:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"WIP: implement tree-as-list (only for VKD.Query so far)","shortMessageHtmlLink":"WIP: implement tree-as-list (only for VKD.Query so far)"}},{"before":"3e6d1c114c51e58f05046cfec130cbf4286e8787","after":"1fece5062d49348d0e215ed3a1a2cab65f725d6a","ref":"refs/heads/main","pushedAt":"2023-10-06T17:16:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thgoebel","name":"Thore Goebel","path":"/thgoebel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33295590?s=80&v=4"},"commit":{"message":"refactor: Move ProtonVKD.VerifyEpoch into its own file","shortMessageHtmlLink":"refactor: Move ProtonVKD.VerifyEpoch into its own file"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADuNZ0WgA","startCursor":null,"endCursor":null}},"title":"Activity · thgoebel/master-thesis-key-trans"}