Skip to content

Actions: axiom-crypto/halo2-lib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
324 workflow runs
324 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Doc] Keccak Doc Tests #241: Pull request #145 opened by nyunyunyunyu
September 10, 2023 20:41 11m 17s doc/keccak-doc
doc/keccak-doc
September 10, 2023 20:41 11m 17s
[chore] Fix fmt Tests #240: Pull request #144 opened by nyunyunyunyu
September 10, 2023 00:25 11m 8s chore/fix-fmt
chore/fix-fmt
September 10, 2023 00:25 11m 8s
[feat] App Circuit Utils for Keccak Coprocessor Tests #239: Pull request #141 synchronize by nyunyunyunyu
September 9, 2023 23:45 11m 16s feat/app-circuit-utils
feat/app-circuit-utils
September 9, 2023 23:45 11m 16s
feat(base): add GateInstructions::inner_product_left function Tests #238: Pull request #143 opened by jonathanpwang
September 9, 2023 23:08 11m 43s feat/inner_prod_left
feat/inner_prod_left
September 9, 2023 23:08 11m 43s
[feat] Keccak Coprocessor Leaf Circuit Tests #237: Pull request #130 synchronize by nyunyunyunyu
September 9, 2023 21:56 11m 24s feat/keccak-computation-circuit
feat/keccak-computation-circuit
September 9, 2023 21:56 11m 24s
[feat] Keccak Coprocessor Leaf Circuit Tests #236: Pull request #130 synchronize by jonathanpwang
September 9, 2023 21:48 11m 23s feat/keccak-computation-circuit
feat/keccak-computation-circuit
September 9, 2023 21:48 11m 23s
[feat] Keccak Coprocessor Leaf Circuit Tests #235: Pull request #130 synchronize by nyunyunyunyu
September 9, 2023 21:45 11m 52s feat/keccak-computation-circuit
feat/keccak-computation-circuit
September 9, 2023 21:45 11m 52s
[feat] Keccak Coprocessor Leaf Circuit Tests #234: Pull request #130 synchronize by nyunyunyunyu
September 9, 2023 21:39 11m 11s feat/keccak-computation-circuit
feat/keccak-computation-circuit
September 9, 2023 21:39 11m 11s
[feat] Keccak Coprocessor Leaf Circuit Tests #233: Pull request #130 synchronize by jonathanpwang
September 9, 2023 20:32 11m 23s feat/keccak-computation-circuit
feat/keccak-computation-circuit
September 9, 2023 20:32 11m 23s
feat: use (TypeId, usize) instead of usize for lookup tag Tests #232: Pull request #142 opened by jonathanpwang
September 9, 2023 17:36 2m 24s feat/use-ctx-tag
feat/use-ctx-tag
September 9, 2023 17:36 2m 24s
[feat] Keccak Coprocessor Leaf Circuit Tests #231: Pull request #130 synchronize by jonathanpwang
September 8, 2023 23:21 12m 11s feat/keccak-computation-circuit
feat/keccak-computation-circuit
September 8, 2023 23:21 12m 11s
[feat] Keccak Coprocessor Leaf Circuit Tests #230: Pull request #130 synchronize by nyunyunyunyu
September 8, 2023 17:47 11m 44s feat/keccak-computation-circuit
feat/keccak-computation-circuit
September 8, 2023 17:47 11m 44s
chore: add getter functions to Poseidon spec Tests #229: Pull request #140 opened by jonathanpwang
September 8, 2023 14:39 11m 55s chore/poseidon_getters
chore/poseidon_getters
September 8, 2023 14:39 11m 55s
chore: use PrimeField for OptimizedPoseidonSpec Tests #228: Pull request #139 opened by jonathanpwang
September 8, 2023 06:15 10m 56s feat/poseidon_prime_field
feat/poseidon_prime_field
September 8, 2023 06:15 10m 56s
add native field chip using native arithmetic operations & grumpkin curve chip Tests #227: Pull request #136 synchronize by odyssey2077
September 8, 2023 01:55 12m 4s odyssey2077:sen/add_ecc_chip_for_grumpkin
odyssey2077:sen/add_ecc_chip_for_grumpkin
September 8, 2023 01:55 12m 4s
add native field chip using native arithmetic operations & grumpkin curve chip Tests #226: Pull request #136 synchronize by odyssey2077
September 7, 2023 01:55 12m 2s odyssey2077:sen/add_ecc_chip_for_grumpkin
odyssey2077:sen/add_ecc_chip_for_grumpkin
September 7, 2023 01:55 12m 2s
[feat] Keccak Coprocessor Leaf Circuit Tests #225: Pull request #130 synchronize by nyunyunyunyu
September 7, 2023 00:55 11m 15s feat/keccak-computation-circuit
feat/keccak-computation-circuit
September 7, 2023 00:55 11m 15s
feat: add left_pad functions for var length arrays Tests #224: Pull request #137 opened by jonathanpwang
September 6, 2023 23:55 11m 8s feat/bytes_var_to_fixed
feat/bytes_var_to_fixed
September 6, 2023 23:55 11m 8s
[feat] Keccak Coprocessor Leaf Circuit Tests #223: Pull request #130 synchronize by nyunyunyunyu
September 6, 2023 23:37 11m 12s feat/keccak-computation-circuit
feat/keccak-computation-circuit
September 6, 2023 23:37 11m 12s
add native field chip using native arithmetic operations & grumpkin curve chip Tests #222: Pull request #136 opened by odyssey2077
September 6, 2023 22:55 10m 57s odyssey2077:sen/add_ecc_chip_for_grumpkin
odyssey2077:sen/add_ecc_chip_for_grumpkin
September 6, 2023 22:55 10m 57s
[WIP] implement customized ecc chip for grumpkin curve which uses native arithmetic operations Tests #221: Pull request #135 synchronize by odyssey2077
September 6, 2023 02:22 32m 42s odyssey2077:sen/add_ecc_chip_for_grumpkin_curve
odyssey2077:sen/add_ecc_chip_for_grumpkin_curve
September 6, 2023 02:22 32m 42s
[WIP] implement customized ecc chip for grumpkin curve which uses native arithmetic operations Tests #220: Pull request #135 opened by odyssey2077
September 6, 2023 02:21 33m 38s odyssey2077:sen/add_ecc_chip_for_grumpkin_curve
odyssey2077:sen/add_ecc_chip_for_grumpkin_curve
September 6, 2023 02:21 33m 38s
[feat] Keccak Coprocessor Leaf Circuit Tests #219: Pull request #130 synchronize by nyunyunyunyu
September 5, 2023 20:59 11m 12s feat/keccak-computation-circuit
feat/keccak-computation-circuit
September 5, 2023 20:59 11m 12s
Convenience functions and fixes for multi-phase Tests #218: Pull request #133 opened by jonathanpwang
September 4, 2023 10:13 12m 28s feat/clear
feat/clear
September 4, 2023 10:13 12m 28s
[feat] Keccak Coprocessor Leaf Circuit Tests #217: Pull request #130 synchronize by nyunyunyunyu
September 3, 2023 09:43 12m 27s feat/keccak-computation-circuit
feat/keccak-computation-circuit
September 3, 2023 09:43 12m 27s