Skip to content

Actions: openmina/proof-systems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add PointEvaluations::{fst,snd} helper methods CI #5: Commit 2fdb5a7 pushed by sebastiencs
September 20, 2024 09:01 2m 19s for-3.0.1-devnet
for-3.0.1-devnet
September 20, 2024 09:01 2m 19s
feat(prover): make verifier_index Arc to enable reuse of it CI #4: Commit b6ad2d0 pushed by sebastiencs
September 19, 2024 21:08 2m 14s for-3.0.1-devnet
for-3.0.1-devnet
September 19, 2024 21:08 2m 14s
feat(signer): Create method to multiply with secret key scalar CI #3: Commit 484ebe9 pushed by sebastiencs
September 18, 2024 12:10 2m 1s for-3.0.1-devnet
for-3.0.1-devnet
September 18, 2024 12:10 2m 1s
feat(signer): Create method to multiply with secret key scalar CI #2: Commit fee6e83 pushed by sebastiencs
September 18, 2024 12:09 2m 2s for-3.0.1-devnet
for-3.0.1-devnet
September 18, 2024 12:09 2m 2s
feat(signer): Create method to multiply with secret key scalar CI #1: Commit f07ca8c pushed by sebastiencs
September 18, 2024 12:04 2m 2s for-3.0.1-devnet
for-3.0.1-devnet
September 18, 2024 12:04 2m 2s
Fix missing public input gate Sourcegraph (LSIF) #27: Commit ff0e8f3 pushed by akoptelov
October 2, 2023 09:50 6m 58s snarky-poc
snarky-poc
October 2, 2023 09:50 6m 58s
Do not use randomness on ProverProof::create_recursive Sourcegraph (LSIF) #26: Commit f0b6f1f pushed by sebastiencs
September 26, 2023 09:01 6m 21s ledger-newtypes-norandom
ledger-newtypes-norandom
September 26, 2023 09:01 6m 21s