Skip to content

Actions: o1-labs/proof-systems

Actions

Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
benches.yml
49 workflow runs
49 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Improve lookup support Benchmarks #105: Pull request #1966 labeled by dannywillems
March 12, 2024 16:56 2s dw/column-lookups
dw/column-lookups
March 12, 2024 16:56 2s
CI: update rust toolchains Benchmarks #104: Pull request #1945 labeled by dannywillems
March 8, 2024 14:58 2s dw/update-ci-rust-version
dw/update-ci-rust-version
March 8, 2024 14:58 2s
MSM/Serialization: start lookup Benchmarks #103: Pull request #1944 labeled by dannywillems
March 8, 2024 14:45 1s dw/implement-lookup-rangecheck-msm-serialization
dw/implement-lookup-rangecheck-msm-serialization
March 8, 2024 14:45 1s
MSM: introduce different lookup tables used by the serialization Benchmarks #102: Pull request #1935 labeled by dannywillems
March 7, 2024 17:53 2s dw/msm-add-lookup-tables-for-serialization
dw/msm-add-lookup-tables-for-serialization
March 7, 2024 17:53 2s
MSM: rename LIMBS_NUM in N_LIMBS Benchmarks #101: Pull request #1894 labeled by dannywillems
March 7, 2024 13:33 2s dw/msm-serialization-rename-var
dw/msm-serialization-rename-var
March 7, 2024 13:33 2s
Sketch serialization subcircuit subdirectory Benchmarks #100: Pull request #1846 labeled by dannywillems
March 7, 2024 13:32 1s dw/limbs-conversion-subdirectory
dw/limbs-conversion-subdirectory
March 7, 2024 13:32 1s
Pass a rng instance in prover Benchmarks #99: Pull request #1851 labeled by dannywillems
March 7, 2024 13:32 2s dw/rng-outside-of-prove-function
dw/rng-outside-of-prove-function
March 7, 2024 13:32 2s
Prover: add constraints parameter Benchmarks #98: Pull request #1850 labeled by dannywillems
March 7, 2024 13:31 2s dw/msm-prover-take-single-expr-param
dw/msm-prover-take-single-expr-param
March 7, 2024 13:31 2s
Add first sketch of the interpreter Benchmarks #97: Pull request #1859 labeled by dannywillems
March 7, 2024 13:31 2s dw/add-trait-interpreter-serialization
dw/add-trait-interpreter-serialization
March 7, 2024 13:31 2s
Add first sketch of the environment for the serializer circuit Benchmarks #96: Pull request #1860 labeled by dannywillems
March 7, 2024 13:30 2s dw/serializer-struct-env
dw/serializer-struct-env
March 7, 2024 13:30 2s
Start dummy implementation of InterpreterEnv for Env in witness Benchmarks #95: Pull request #1861 labeled by dannywillems
March 7, 2024 13:30 2s dw/add-some-methods-in-env-witness
dw/add-some-methods-in-env-witness
March 7, 2024 13:30 2s
Define the column structure Benchmarks #94: Pull request #1862 labeled by dannywillems
March 7, 2024 13:29 2s dw/serializer-define-column-structure
dw/serializer-define-column-structure
March 7, 2024 13:29 2s
Interpreter: add bitmask to extract bits from foreign field limbs Benchmarks #93: Pull request #1863 labeled by dannywillems
March 7, 2024 13:29 1s dw/serializer-env-add-bitmask
dw/serializer-env-add-bitmask
March 7, 2024 13:29 1s
Continue serializer interpreter - building witness Benchmarks #92: Pull request #1864 labeled by dannywillems
March 7, 2024 13:28 1s dw/serializer-interpreter-1
dw/serializer-interpreter-1
March 7, 2024 13:28 1s
Serialization/MSM: create the main file Benchmarks #91: Pull request #1868 labeled by dannywillems
March 7, 2024 13:28 2s dw/serializer-main-file
dw/serializer-main-file
March 7, 2024 13:28 2s
MSM: use constant size witness and rename old witness in ProofInputs Benchmarks #90: Pull request #1869 labeled by dannywillems
March 7, 2024 13:28 2s dw/serializer-unify-witness-proof-inputs
dw/serializer-unify-witness-proof-inputs
March 7, 2024 13:28 2s
Optimism: remove clone trait and avoid cloning commitments Benchmarks #89: Pull request #1872 labeled by dannywillems
March 7, 2024 13:27 1s dw/optimism-add-iterator-lt
dw/optimism-add-iterator-lt
March 7, 2024 13:27 1s
Generic witness: implement iterator with lifetime Benchmarks #88: Pull request #1873 labeled by dannywillems
March 7, 2024 13:27 3s dw/msm-witness-lt-iterator
dw/msm-witness-lt-iterator
March 7, 2024 13:27 3s
MSM/Serialization: assert limbs size Benchmarks #87: Pull request #1874 labeled by dannywillems
March 7, 2024 13:26 2s dw/msm-serialization-fix-1870
dw/msm-serialization-fix-1870
March 7, 2024 13:26 2s
MSM/Serialization: add constraints file and basis environment Benchmarks #86: Pull request #1875 labeled by dannywillems
March 7, 2024 13:26 2s dw/msm-serialization-add-constraints
dw/msm-serialization-add-constraints
March 7, 2024 13:26 2s
MSM/Serialization: add method add_constraint in trait env Benchmarks #85: Pull request #1876 labeled by dannywillems
March 7, 2024 13:26 2s dw/msm-serialization-env-add-constraint-method-in-env
dw/msm-serialization-env-add-constraint-method-in-env
March 7, 2024 13:26 2s
MSM/Serialization: add implementation for constant and column getter Benchmarks #84: Pull request #1878 labeled by dannywillems
March 7, 2024 13:25 2s dw/msm-serialization-env-impl-column-getter
dw/msm-serialization-env-impl-column-getter
March 7, 2024 13:25 2s
MSM: rename var for number of cols Benchmarks #83: Pull request #1882 labeled by dannywillems
March 7, 2024 13:24 2s dw/msm-serialization-change-name-var
dw/msm-serialization-change-name-var
March 7, 2024 13:24 2s
MSM/Serialization: implement bitmask_be for constraints env Benchmarks #82: Pull request #1883 labeled by dannywillems
March 7, 2024 13:24 2s dw/msm-serialization-implement-bitmask
dw/msm-serialization-implement-bitmask
March 7, 2024 13:24 2s
MSM/Serialization: introduce var for intermediate limbs Benchmarks #81: Pull request #1884 labeled by dannywillems
March 7, 2024 13:24 2s dw/msm-serialization-var-intermediate-limbs
dw/msm-serialization-var-intermediate-limbs
March 7, 2024 13:24 2s