{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":664932700,"defaultBranch":"main","name":"SuperNova","ownerLogin":"hero78119","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-07-11T04:34:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3962077?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1704292263.0","currentOid":""},"activityList":{"items":[{"before":"830f7ed727b3b637f131a8f6bff91b44c0da5338","after":"9b0ea2cce536d56f3fd01cd662d8c41e84456250","ref":"refs/heads/nova_lookup","pushedAt":"2024-01-09T13:25:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"more debug message","shortMessageHtmlLink":"more debug message"}},{"before":"b9cfcba31d42bbfb7b3a12c5f45b4d886e6dc390","after":"93eb6bc8e66839c0876c5285ccd674863982f823","ref":"refs/heads/refactor_memory_sumcheck","pushedAt":"2024-01-05T08:26:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"refactor and generalized MemorySumcheckInstance instance with MemorySumcheckInstanceV2 naming","shortMessageHtmlLink":"refactor and generalized MemorySumcheckInstance instance with MemoryS…"}},{"before":null,"after":"b9cfcba31d42bbfb7b3a12c5f45b4d886e6dc390","ref":"refs/heads/refactor_memory_sumcheck","pushedAt":"2024-01-03T14:31:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"WIP: implement generalized compute_oracles_v2 on MemorySumcheckInstance","shortMessageHtmlLink":"WIP: implement generalized compute_oracles_v2 on MemorySumcheckInstance"}},{"before":"44758846c44c5d7950fa83554d2a453c8bf2129f","after":"830f7ed727b3b637f131a8f6bff91b44c0da5338","ref":"refs/heads/nova_lookup","pushedAt":"2023-09-14T15:03:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"add lookup gadget","shortMessageHtmlLink":"add lookup gadget"}},{"before":null,"after":"44758846c44c5d7950fa83554d2a453c8bf2129f","ref":"refs/heads/nova_lookup","pushedAt":"2023-09-14T15:02:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"fix soundness: use last_augmented_circuit_index consistently","shortMessageHtmlLink":"fix soundness: use last_augmented_circuit_index consistently"}},{"before":"f76dfc2d6276b50272feaeaae57e0f35dffe5838","after":"44758846c44c5d7950fa83554d2a453c8bf2129f","ref":"refs/heads/supernova","pushedAt":"2023-08-17T03:32:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"fix soundness: use last_augmented_circuit_index consistently","shortMessageHtmlLink":"fix soundness: use last_augmented_circuit_index consistently"}},{"before":"07306b942c34b982a75ff43b09c97e620851cfd9","after":"f76dfc2d6276b50272feaeaae57e0f35dffe5838","ref":"refs/heads/supernova","pushedAt":"2023-08-16T13:56:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"code cosmetics","shortMessageHtmlLink":"code cosmetics"}},{"before":"e89c3ade8b534273984b1b3d6c21d194cca687ef","after":"07306b942c34b982a75ff43b09c97e620851cfd9","ref":"refs/heads/supernova","pushedAt":"2023-08-16T13:39:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"code cosmetics","shortMessageHtmlLink":"code cosmetics"}},{"before":"4e7ea9549a794ecdab1696723638d69e2c9cbcde","after":"e89c3ade8b534273984b1b3d6c21d194cca687ef","ref":"refs/heads/supernova","pushedAt":"2023-08-16T13:07:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"refactor circuit test to test module","shortMessageHtmlLink":"refactor circuit test to test module"}},{"before":"0642cee49ef3900c35339de499463e285ef17003","after":"4e7ea9549a794ecdab1696723638d69e2c9cbcde","ref":"refs/heads/supernova","pushedAt":"2023-08-16T06:41:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"clean up UnSatMsg from Nova error","shortMessageHtmlLink":"clean up UnSatMsg from Nova error"}},{"before":"b523c407eef6f55bee4ab15f6d76fc101abfe3b1","after":"0642cee49ef3900c35339de499463e285ef17003","ref":"refs/heads/supernova","pushedAt":"2023-08-16T06:34:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"supernova refactor test to separate mod","shortMessageHtmlLink":"supernova refactor test to separate mod"}},{"before":"6f9c7c131123594a8a5591463813d0831e34c2fc","after":"b523c407eef6f55bee4ab15f6d76fc101abfe3b1","ref":"refs/heads/supernova","pushedAt":"2023-08-16T06:29:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"sync with main branch","shortMessageHtmlLink":"sync with main branch"}},{"before":"ccf054763551038cf61a9077a5fdcaf5a28f1833","after":"6f9c7c131123594a8a5591463813d0831e34c2fc","ref":"refs/heads/supernova","pushedAt":"2023-08-16T06:23:44.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"sync with main branch","shortMessageHtmlLink":"sync with main branch"}},{"before":"2d3cce01982f55a5578d7a14e5a8750dda50288c","after":"ccf054763551038cf61a9077a5fdcaf5a28f1833","ref":"refs/heads/supernova","pushedAt":"2023-08-16T03:26:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"typo fix","shortMessageHtmlLink":"typo fix"}},{"before":"ea14cabf116b6be34fee112737e00a64d8c81f7c","after":"2d3cce01982f55a5578d7a14e5a8750dda50288c","ref":"refs/heads/supernova","pushedAt":"2023-08-14T15:13:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"eliminate program_counter from secondary circuit ro, better error handling","shortMessageHtmlLink":"eliminate program_counter from secondary circuit ro, better error han…"}},{"before":null,"after":"f5490b3d336d8f552d0ecddd8f7da6cfe24912bb","ref":"refs/heads/supernova_multiple_secondary_circuit","pushedAt":"2023-08-14T14:36:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"generalize to support multiple instance on secondary circuit","shortMessageHtmlLink":"generalize to support multiple instance on secondary circuit"}},{"before":"f757d52d3523b94db1b6dbc08b611c3b6b7251d9","after":"ea14cabf116b6be34fee112737e00a64d8c81f7c","ref":"refs/heads/supernova","pushedAt":"2023-08-10T14:00:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"optimize with less constriants, following-up fixing soundness on const index","shortMessageHtmlLink":"optimize with less constriants, following-up fixing soundness on cons…"}},{"before":"1c47c78d6a6519918148510cc6a51c5d4d64d324","after":"f757d52d3523b94db1b6dbc08b611c3b6b7251d9","ref":"refs/heads/supernova","pushedAt":"2023-08-10T13:58:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"optimize with less constriants, following-up fixing soundness on const index","shortMessageHtmlLink":"optimize with less constriants, following-up fixing soundness on cons…"}},{"before":"c9fb511c1dd3865fbf312879b5024ef6dacd3f29","after":"1c47c78d6a6519918148510cc6a51c5d4d64d324","ref":"refs/heads/supernova","pushedAt":"2023-08-10T11:50:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"code cosmetics and clean up","shortMessageHtmlLink":"code cosmetics and clean up"}},{"before":"cd9ab491332753ee81e0ca2e25aaf3626e622a11","after":"c9fb511c1dd3865fbf312879b5024ef6dacd3f29","ref":"refs/heads/supernova","pushedAt":"2023-08-10T06:56:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"optimise util alloc_const and supernova usage","shortMessageHtmlLink":"optimise util alloc_const and supernova usage"}},{"before":"61dad5b531b7316313b991d9651a32584286a6c6","after":"cd9ab491332753ee81e0ca2e25aaf3626e622a11","ref":"refs/heads/supernova","pushedAt":"2023-08-10T06:35:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"code cosmetics based on review comments","shortMessageHtmlLink":"code cosmetics based on review comments"}},{"before":"ebe1f08a84c132324a09a55e3add3e8903c462fe","after":"61dad5b531b7316313b991d9651a32584286a6c6","ref":"refs/heads/supernova","pushedAt":"2023-08-10T06:31:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"code cosmetics based on review comments","shortMessageHtmlLink":"code cosmetics based on review comments"}},{"before":"b02cf87a78d0e944e266bd5e3c29564a6f9537b5","after":"ebe1f08a84c132324a09a55e3add3e8903c462fe","ref":"refs/heads/supernova","pushedAt":"2023-08-10T03:32:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"fix soundness in supernova sequence constraints","shortMessageHtmlLink":"fix soundness in supernova sequence constraints"}},{"before":"50674459d59ec94734cc1f5ae6165e0bee027565","after":null,"ref":"refs/heads/supernova_new","pushedAt":"2023-08-08T12:03:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"}},{"before":"996d35cbcf0a7fcd18ec9e098334da25f0120da2","after":"b02cf87a78d0e944e266bd5e3c29564a6f9537b5","ref":"refs/heads/supernova","pushedAt":"2023-08-08T12:03:35.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"supernova align naming convention with nova","shortMessageHtmlLink":"supernova align naming convention with nova"}},{"before":"1208d6f0d68ad2f12e1f2472adb1df03f60e60f5","after":"50674459d59ec94734cc1f5ae6165e0bee027565","ref":"refs/heads/supernova_new","pushedAt":"2023-08-08T11:55:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"simplify synthesis error handling","shortMessageHtmlLink":"simplify synthesis error handling"}},{"before":null,"after":"1208d6f0d68ad2f12e1f2472adb1df03f60e60f5","ref":"refs/heads/supernova_new","pushedAt":"2023-08-08T11:51:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"simplify synthesis error handling","shortMessageHtmlLink":"simplify synthesis error handling"}},{"before":"6af0e60c23baf20b1df26cf64d20acc13493f0f7","after":"a7c507fc15653b2ab0bcfa11edfaac1b537027b0","ref":"refs/heads/step-circuit-trait","pushedAt":"2023-08-05T00:49:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"fine tune step circuit trait to avoid re-implement zi->zi_next logic","shortMessageHtmlLink":"fine tune step circuit trait to avoid re-implement zi->zi_next logic"}},{"before":"a961de2964a7265f25d25a907e64f85c12eb52b8","after":"6af0e60c23baf20b1df26cf64d20acc13493f0f7","ref":"refs/heads/step-circuit-trait","pushedAt":"2023-08-05T00:47:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"fine tune step circuit trait to avoid re-implement zi->zi_next logic","shortMessageHtmlLink":"fine tune step circuit trait to avoid re-implement zi->zi_next logic"}},{"before":"e39b9bf459bf3ec2a9778c52c2b82185e99e66b3","after":"a961de2964a7265f25d25a907e64f85c12eb52b8","ref":"refs/heads/step-circuit-trait","pushedAt":"2023-08-05T00:28:51.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hero78119","name":"Ming","path":"/hero78119","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3962077?s=80&v=4"},"commit":{"message":"fine tune step circuit trait to avoid re-implement zi->zi_next logic","shortMessageHtmlLink":"fine tune step circuit trait to avoid re-implement zi->zi_next logic"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0wOVQxMzoyNToxNy4wMDAwMDBazwAAAAPbTKNm","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0wOVQxMzoyNToxNy4wMDAwMDBazwAAAAPbTKNm","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0wNVQwMDoyODo1MS4wMDAwMDBazwAAAANkYD8P"}},"title":"Activity · hero78119/SuperNova"}