Skip to content

Pull requests: o1-labs/proof-systems

New pull request New
38 Open 2,246 Closed
38 Open 2,246 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add storage-proof command to cli and e2e
#2985 opened Jan 30, 2025 by martyall Loading…
1
Arrabbiata/mvpoly: MISC - typo + types + add assert
#2984 opened Jan 30, 2025 by dannywillems Loading…
1
Arrabbiata: implement absorb_state
#2982 opened Jan 30, 2025 by dannywillems Loading…
1
Add verify-storage-proof command to cli and e2e
#2979 opened Jan 30, 2025 by martyall Loading…
1
query saffron
#2974 opened Jan 29, 2025 by martyall Loading…
1
Performance: parallelising kimchi prover more
#2969 opened Jan 27, 2025 by volhovm • Draft
5 tasks
1
Rustfmt: enforce 80 characters limit for comments
#2964 opened Jan 23, 2025 by dannywillems Loading…
CI: enforce 80 characters limit on README.md
#2963 opened Jan 23, 2025 by dannywillems Loading…
1
CI: check that Cargo.toml is ordered alphabetically
#2962 opened Jan 23, 2025 by dannywillems Loading…
2
Marc/lookup env
#2960 opened Jan 22, 2025 by marcbeunardeau88 Loading…
Add padding and proving for smaller programs
#2956 opened Jan 17, 2025 by martyall Loading…
1
Command line interface for riscV and pickles
#2941 opened Jan 10, 2025 by svv232 • Draft
1
o1vm/riscv32im: programs performing arithmetic on 2^31 - 1
#2917 opened Dec 30, 2024 by dannywillems • Draft
1
o1vm/riscv32im: helper to read a uint32 from memory
#2916 opened Dec 30, 2024 by dannywillems Loading…
1
no-op MIPS
#2910 opened Dec 23, 2024 by dannywillems Loading…
1
add plonk-wasm
#2876 opened Dec 14, 2024 by martyall • Draft
2
Rust 1.74
#2875 opened Dec 13, 2024 by martyall • Draft
1
[20241209] Merge develop into master
#2868 opened Dec 9, 2024 by dannywillems Loading…
4
o1vm/mips: use biguint instead of Fp in witness builder
#2854 opened Nov 25, 2024 by dannywillems • Draft
o1vm/pickles: regression test for proof size
#2758 opened Nov 14, 2024 by dannywillems • Draft
2
Logup for o1vm
#2757 opened Nov 13, 2024 by Fizzixnerd Loading…
@Fizzixnerd
23
Upstream openmina changes
#2750 opened Nov 8, 2024 by sebastiencs Loading…
10
Wiring the o1VM Proof struct into the Mina OCaml codebase.
#2749 opened Nov 5, 2024 by shimkiv • Draft
1
@shimkiv
1
range32 checking for added to mips
#2733 opened Oct 26, 2024 by svv232 Loading…
4
Adding new range check32 table implementation
#2732 opened Oct 26, 2024 by svv232 Loading…
6
ProTip! Add no:assignee to see everything that’s not assigned.