Skip to content

Actions: input-output-hk/halo2

Actions

Beta lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints-beta.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Default without compress selectors Beta lints #50: Commit dfb066e pushed by iquerejeta
October 21, 2024 16:26 1m 1s iquerejeta/vk_without_circuit
iquerejeta/vk_without_circuit
October 21, 2024 16:26 1m 1s
read_vk does not need to receive the compiled circuit as input Beta lints #49: Commit b5b0aef pushed by iquerejeta
October 21, 2024 11:58 58s iquerejeta/vk_without_circuit
iquerejeta/vk_without_circuit
October 21, 2024 11:58 58s
read_vk does not need to receive the compiled circuit as input Beta lints #48: Commit 06f929a pushed by iquerejeta
October 21, 2024 11:55 59s iquerejeta/vk_without_circuit
iquerejeta/vk_without_circuit
October 21, 2024 11:55 59s
Nits Beta lints #47: Commit 9f0cbf5 pushed by iquerejeta
October 21, 2024 11:34 1m 4s iquerejeta/midnight-requirements
iquerejeta/midnight-requirements
October 21, 2024 11:34 1m 4s
Expose constraint (needed to define the types of Constraints) Beta lints #46: Commit 5bb4fdb pushed by iquerejeta
October 10, 2024 09:07 59s iquerejeta/midnight-requirements
iquerejeta/midnight-requirements
October 10, 2024 09:07 59s
Nits Beta lints #45: Commit b0a9549 pushed by iquerejeta
October 10, 2024 08:34 1m 4s iquerejeta/midnight-requirements
iquerejeta/midnight-requirements
October 10, 2024 08:34 1m 4s
Update MWV - this is the smalles version with which I could compile. Beta lints #44: Commit 6804703 pushed by iquerejeta
October 10, 2024 08:20 1m 1s iquerejeta/midnight-requirements
iquerejeta/midnight-requirements
October 10, 2024 08:20 1m 1s
Bump to version 0.4.0 (#367) Beta lints #43: Commit 7eb156a pushed by iquerejeta
October 10, 2024 08:11 1m 1s dev
dev
October 10, 2024 08:11 1m 1s
Use degree() to compute the max_degree Beta lints #42: Commit 982fbe7 pushed by iquerejeta
May 8, 2024 15:29 1m 18s galois_base
galois_base
May 8, 2024 15:29 1m 18s
Reduce size of proving keys and verifying keys (#6) Beta lints #41: Commit 0087735 pushed by iquerejeta
May 8, 2024 08:04 1m 20s galois_base
galois_base
May 8, 2024 08:04 1m 20s
Ensure downsize trims when required. Beta lints #40: Commit b7e49d5 pushed by tkerber
April 29, 2024 11:43 57s tkerber/downsize-verifier-params
tkerber/downsize-verifier-params
April 29, 2024 11:43 57s
Ensure downsize trims when required. Beta lints #39: Commit 9988f8a pushed by tkerber
April 29, 2024 11:42 59s tkerber/downsize-verifier-params
tkerber/downsize-verifier-params
April 29, 2024 11:42 59s
Allow downsize on verifier params. Beta lints #38: Commit 2a0b0bd pushed by tkerber
April 29, 2024 11:18 1m 0s tkerber/downsize-verifier-params
tkerber/downsize-verifier-params
April 29, 2024 11:18 1m 0s
Reduce size of proving keys and verifying keys (#6) Beta lints #37: Commit 0bcf414 pushed by miguel-ambrona
April 26, 2024 15:39 56s fixed_73408a1
fixed_73408a1
April 26, 2024 15:39 56s
plonk/keygen: disable complex selectors Beta lints #36: Commit 392b260 pushed by miguel-ambrona
April 26, 2024 15:24 57s ambrona@smaller-vk
ambrona@smaller-vk
April 26, 2024 15:24 57s
WIP Beta lints #35: Commit b86e595 pushed by miguel-ambrona
April 26, 2024 11:22 55s ambrona@pk-wip
ambrona@pk-wip
April 26, 2024 11:22 55s
wip Beta lints #34: Commit 3f0b592 pushed by miguel-ambrona
April 26, 2024 11:22 57s ambrona@pk-wip
ambrona@pk-wip
April 26, 2024 11:22 57s
Remove useless function Beta lints #33: Commit 238301d pushed by miguel-ambrona
April 24, 2024 16:38 58s ambrona@smaller-vk
ambrona@smaller-vk
April 24, 2024 16:38 58s
Remove redundant [selectors] field from [VerifieringKey] Beta lints #32: Commit 4796ecf pushed by miguel-ambrona
April 24, 2024 16:32 1m 3s ambrona@smaller-vk
ambrona@smaller-vk
April 24, 2024 16:32 1m 3s
Remove redundant [selectors] field from [VerifieringKey] Beta lints #31: Commit 3169faa pushed by miguel-ambrona
April 24, 2024 16:00 58s ambrona@smaller-vk
ambrona@smaller-vk
April 24, 2024 16:00 58s
Remove redundant [selectors] field from [VerifieringKey] Beta lints #30: Commit c776b25 pushed by miguel-ambrona
April 24, 2024 15:54 59s ambrona@smaller-vk
ambrona@smaller-vk
April 24, 2024 15:54 59s
Remove usable_rows check on fixed columns (#5) Beta lints #29: Commit b410501 pushed by miguel-ambrona
April 24, 2024 15:52 1m 2s fixed_73408a1
fixed_73408a1
April 24, 2024 15:52 1m 2s
Remove usable_rows check on fixed columns Beta lints #28: Commit 4a17a99 pushed by miguel-ambrona
April 24, 2024 15:43 1m 0s ambrona@tight-k
ambrona@tight-k
April 24, 2024 15:43 1m 0s
Remove redundant [selectors] field from [VerifieringKey] Beta lints #27: Commit d8b8018 pushed by miguel-ambrona
April 24, 2024 15:34 58s ambrona@smaller-vk
ambrona@smaller-vk
April 24, 2024 15:34 58s
Remove usable_rows check on fixed columns Beta lints #26: Commit bea4405 pushed by miguel-ambrona
April 24, 2024 09:51 1m 2s ambrona@tight-k-for-lookups
ambrona@tight-k-for-lookups
April 24, 2024 09:51 1m 2s