Skip to content

Actions: worldfnd/provekit

Actions

Benchmark on Raspberry Pi 5

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,108 workflow runs
1,108 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix: bind RSA public exponent to fixed values [LA-E] Benchmark on Raspberry Pi 5 #1124: Pull request #366 synchronize by x-senpai-x
10m 53s us/fix-unbound-rsa-exponent
us/fix-unbound-rsa-exponent
10m 53s
Reject malformed 32-bit constants in AND/XOR and SHA256 compilation [LA_Suggestion3] Benchmark on Raspberry Pi 5 #1123: Pull request #375 synchronize by ashpect
7m 26s rs/suggestion3_v1
rs/suggestion3_v1
7m 26s
fix: public inputs binding to transcript [LA - B] Benchmark on Raspberry Pi 5 #1122: Pull request #360 synchronize by ashpect
6m 55s ash/audit
ash/audit
6m 55s
fix DSC Key Smuggling via Unsigned TBS Data [LA-A] Benchmark on Raspberry Pi 5 #1121: Pull request #368 synchronize by x-senpai-x
10m 39s us/fix-dsckey-smuggling
us/fix-dsckey-smuggling
10m 39s
fix DSC Key Smuggling via Unsigned TBS Data [LA-A] Benchmark on Raspberry Pi 5 #1120: Pull request #368 synchronize by x-senpai-x
10m 47s us/fix-dsckey-smuggling
us/fix-dsckey-smuggling
10m 47s
Fix : Unbound LogUp Transcript Challenges Let the Prover Choose Lookup Randomness [LA-G] Benchmark on Raspberry Pi 5 #1119: Pull request #361 synchronize by ocdbytes
10m 36s aj/v1/fix-unbound-logup-challanges
aj/v1/fix-unbound-logup-challanges
10m 36s
fix: assert num_entries <= full_size [LA - J] Benchmark on Raspberry Pi 5 #1118: Pull request #376 opened by ashpect
10m 16s ash/audit3
ash/audit3
10m 16s
fix: public inputs binding to transcript [LA - B] Benchmark on Raspberry Pi 5 #1117: Pull request #360 synchronize by ashpect
10m 32s ash/audit
ash/audit
10m 32s
fix: binop width selection to preserve byte semantics [LA-D] Benchmark on Raspberry Pi 5 #1116: Pull request #373 synchronize by rose2221
10m 26s rs/issue_d_v1
rs/issue_d_v1
10m 26s
fix: binop width selection to preserve byte semantics [LA-D] Benchmark on Raspberry Pi 5 #1115: Pull request #373 synchronize by rose2221
10m 36s rs/issue_d_v1
rs/issue_d_v1
10m 36s
fix: canonicalize duplicate witness terms in R1CS constraints [LA - C] Benchmark on Raspberry Pi 5 #1114: Pull request #352 synchronize by Bisht13
10m 22s px/fix-duplicate-witness-canonicalization
px/fix-duplicate-witness-canonicalization
10m 22s
fix: enforce end-of-transcript validation in WhirR1CS verifier [LA - F] Benchmark on Raspberry Pi 5 #1113: Pull request #355 synchronize by Bisht13
10m 22s px/fix-eof-validation
px/fix-eof-validation
10m 22s
fix: binop width selection to preserve byte semantics [LA-D] Benchmark on Raspberry Pi 5 #1112: Pull request #373 opened by rose2221
10m 20s rs/issue_d_v1
rs/issue_d_v1
10m 20s
fix DSC Key Smuggling via Unsigned TBS Data [LA-A] Benchmark on Raspberry Pi 5 #1111: Pull request #368 opened by x-senpai-x
10m 25s us/fix-dsckey-smuggling
us/fix-dsckey-smuggling
10m 25s
fix: bind RSA public exponent to fixed values [LA-E] Benchmark on Raspberry Pi 5 #1110: Pull request #366 synchronize by x-senpai-x
10m 17s us/fix-unbound-rsa-exponent
us/fix-unbound-rsa-exponent
10m 17s
fix: bind RSA public exponent to fixed values [LA-E] Benchmark on Raspberry Pi 5 #1109: Pull request #366 opened by x-senpai-x
10m 26s us/fix-unbound-rsa-exponent
us/fix-unbound-rsa-exponent
10m 26s
Fix : Unbound LogUp Transcript Challenges Let the Prover Choose Lookup Randomness [LA-G] Benchmark on Raspberry Pi 5 #1108: Pull request #361 synchronize by ocdbytes
10m 18s aj/v1/fix-unbound-logup-challanges
aj/v1/fix-unbound-logup-challanges
10m 18s
Fix : Unbound LogUp Transcript Challenges Let the Prover Choose Lookup Randomness [LA-G] Benchmark on Raspberry Pi 5 #1107: Pull request #361 opened by ocdbytes
10m 28s aj/v1/fix-unbound-logup-challanges
aj/v1/fix-unbound-logup-challanges
10m 28s
fix: public inputs binding to transcript [LA - B] Benchmark on Raspberry Pi 5 #1106: Pull request #360 opened by ashpect
10m 27s ash/audit
ash/audit
10m 27s
Fix : Unchecked Witness-Derived Indices Cause Deterministic Prover Panics in RAM and Multiplicity Builders [LA-H] Benchmark on Raspberry Pi 5 #1105: Pull request #358 opened by ocdbytes
10m 26s aj/v1/fix-unchecked-witness-derived-indices
aj/v1/fix-unchecked-witness-derived-indices
10m 26s
fix: enforce end-of-transcript validation in WhirR1CS verifier [LA - F] Benchmark on Raspberry Pi 5 #1104: Pull request #355 opened by Bisht13
12m 1s px/fix-eof-validation
px/fix-eof-validation
12m 1s
fix: canonicalize duplicate witness terms in R1CS constraints [LA - C] Benchmark on Raspberry Pi 5 #1103: Pull request #352 synchronize by Bisht13
9m 58s px/fix-duplicate-witness-canonicalization
px/fix-duplicate-witness-canonicalization
9m 58s
fix: canonicalize duplicate witness terms in R1CS constraints [LA - C] Benchmark on Raspberry Pi 5 #1102: Pull request #352 synchronize by Bisht13
10m 40s px/fix-duplicate-witness-canonicalization
px/fix-duplicate-witness-canonicalization
10m 40s
fix: canonicalize duplicate witness terms in R1CS constraints [LA - C] Benchmark on Raspberry Pi 5 #1101: Pull request #352 synchronize by Bisht13
10m 31s px/fix-duplicate-witness-canonicalization
px/fix-duplicate-witness-canonicalization
10m 31s
fix: canonicalize duplicate witness terms in R1CS constraints [LA - C] Benchmark on Raspberry Pi 5 #1100: Pull request #352 opened by Bisht13
10m 42s px/fix-duplicate-witness-canonicalization
px/fix-duplicate-witness-canonicalization
10m 42s