Skip to content

Actions: o1-labs/proof-systems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,393 workflow run results
3,393 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introduce Pickles drawio diagram CI #5582: Pull request #1693 synchronize by volhovm
January 22, 2024 19:02 33m 13s volhovm/add-pickles-drawio-diagram
volhovm/add-pickles-drawio-diagram
January 22, 2024 19:02 33m 13s
Book: add the section with zoomable pickles diagrams CI #5581: Commit d13088e pushed by volhovm
January 22, 2024 19:02 25m 20s volhovm/add-pickles-drawio-diagram
volhovm/add-pickles-drawio-diagram
January 22, 2024 19:02 25m 20s
Reduce Keccak columns by 145 CI #5580: Pull request #1738 opened by querolita
January 22, 2024 18:34 32m 45s zkvm/keccak/join-flags
zkvm/keccak/join-flags
January 22, 2024 18:34 32m 45s
Introduce Pickles drawio diagram CI #5579: Pull request #1693 synchronize by volhovm
January 22, 2024 18:32 33m 31s volhovm/add-pickles-drawio-diagram
volhovm/add-pickles-drawio-diagram
January 22, 2024 18:32 33m 31s
Book: Improve pickles overview CI #5578: Commit e9be422 pushed by volhovm
January 22, 2024 18:32 25m 9s volhovm/add-pickles-drawio-diagram
volhovm/add-pickles-drawio-diagram
January 22, 2024 18:32 25m 9s
use constants for lengths CI #5577: Commit 2afc6e3 pushed by querolita
January 22, 2024 18:30 32m 44s zkvm/keccak/join-flags
zkvm/keccak/join-flags
January 22, 2024 18:30 32m 44s
Aggregate mode flags of KeccakColumns into an array CI #5576: Pull request #1737 synchronize by querolita
January 22, 2024 17:35 33m 8s zkvm/keccak/mode-flags
zkvm/keccak/mode-flags
January 22, 2024 17:35 33m 8s
we need one less boolean constraint for padding CI #5575: Commit b0b0041 pushed by querolita
January 22, 2024 17:35 33m 27s zkvm/keccak/mode-flags
zkvm/keccak/mode-flags
January 22, 2024 17:35 33m 27s
Aggregate mode flags of KeccakColumns into an array CI #5574: Pull request #1737 synchronize by querolita
January 22, 2024 17:32 32m 43s zkvm/keccak/mode-flags
zkvm/keccak/mode-flags
January 22, 2024 17:32 32m 43s
better definition of is_pad as nonzero of pad_length CI #5573: Commit b135295 pushed by querolita
January 22, 2024 17:32 33m 55s zkvm/keccak/mode-flags
zkvm/keccak/mode-flags
January 22, 2024 17:32 33m 55s
Aggregate mode flags of KeccakColumns into an array CI #5572: Pull request #1737 opened by querolita
January 22, 2024 17:08 33m 15s zkvm/keccak/mode-flags
zkvm/keccak/mode-flags
January 22, 2024 17:08 33m 15s
Try to add grumpkin - conflicting with 0.3.0, see slack CI #5571: Commit 7443118 pushed by dannywillems
January 22, 2024 17:05 3m 7s dw-mv/large-msm
dw-mv/large-msm
January 22, 2024 17:05 3m 7s
aggregate mode flags of keccak columns into an array CI #5570: Commit 7e15a5c pushed by querolita
January 22, 2024 17:05 33m 1s zkvm/keccak/mode-flags
zkvm/keccak/mode-flags
January 22, 2024 17:05 33m 1s
Remove inverse_round and alternate definition of is_round() CI #5569: Pull request #1736 opened by querolita
January 22, 2024 16:41 33m 2s zkvm/keccak/24rounds
zkvm/keccak/24rounds
January 22, 2024 16:41 33m 2s
revert c170d4a CI #5568: Commit 1944a48 pushed by querolita
January 22, 2024 16:34 33m 21s zkvm/keccak/24rounds
zkvm/keccak/24rounds
January 22, 2024 16:34 33m 21s
Propagate witness of each Keccak step CI #5567: Pull request #1732 opened by querolita
January 22, 2024 16:14 37m 38s mips/keccak/proof-witness
mips/keccak/proof-witness
January 22, 2024 16:14 37m 38s
add proof verification at the end CI #5566: Commit 4d64c61 pushed by querolita
January 22, 2024 14:59 33m 30s mips/keccak/proof-witness
mips/keccak/proof-witness
January 22, 2024 14:59 33m 30s
Testing CI #5565: Commit 6debbe7 pushed by dannywillems
January 22, 2024 14:46 4m 18s dw-mv/large-msm
dw-mv/large-msm
January 22, 2024 14:46 4m 18s
Introduce Pickles drawio diagram CI #5564: Pull request #1693 synchronize by volhovm
January 22, 2024 14:44 33m 11s volhovm/add-pickles-drawio-diagram
volhovm/add-pickles-drawio-diagram
January 22, 2024 14:44 33m 11s
Small diagram change CI #5563: Commit a51cb28 pushed by volhovm
January 22, 2024 14:44 25m 8s volhovm/add-pickles-drawio-diagram
volhovm/add-pickles-drawio-diagram
January 22, 2024 14:44 25m 8s
Merge pull request #1730 from o1-labs/dw/doc-use-nightly-ci CI #5562: Commit eef74a4 pushed by dannywillems
January 22, 2024 14:07 34m 8s master
master
January 22, 2024 14:07 34m 8s
Merge pull request #1730 from o1-labs/dw/doc-use-nightly-ci Deploy Specifications & Docs to GitHub Pages #649: Commit eef74a4 pushed by dannywillems
January 22, 2024 14:07 1m 52s master
master
January 22, 2024 14:07 1m 52s
Introduce Pickles drawio diagram CI #5561: Pull request #1693 synchronize by volhovm
January 22, 2024 13:21 33m 8s volhovm/add-pickles-drawio-diagram
volhovm/add-pickles-drawio-diagram
January 22, 2024 13:21 33m 8s
Clarifying field structure CI #5560: Commit 4884708 pushed by volhovm
January 22, 2024 13:21 25m 11s volhovm/add-pickles-drawio-diagram
volhovm/add-pickles-drawio-diagram
January 22, 2024 13:21 25m 11s
Introduce Pickles drawio diagram CI #5559: Pull request #1693 synchronize by volhovm
January 22, 2024 12:01 33m 20s volhovm/add-pickles-drawio-diagram
volhovm/add-pickles-drawio-diagram
January 22, 2024 12:01 33m 20s