Skip to content

Pull requests: o1-labs/proof-systems

New pull request New
38 Open 2,253 Closed
38 Open 2,253 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

Corrected typos
#2993 opened Feb 3, 2025 by MonkeyKing44 Loading…
Fixed typos
#2992 opened Feb 3, 2025 by petryshkaCODE Loading…
Typos fix
#2991 opened Feb 3, 2025 by Hack666r Loading…
Added OG flow as binary
#2990 opened Feb 3, 2025 by martyall Loading…
1
Saffron: initial README
#2989 opened Feb 3, 2025 by dannywillems Loading…
2
Arrabbiata/test: check transformation into sparse mvpoly
#2987 opened Feb 3, 2025 by dannywillems Loading…
2
CI: run cargo-sort and move formatting related jobs in their configuration
#2986 opened Feb 3, 2025 by dannywillems 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…
4
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…
7
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
add plonk-wasm
#2876 opened Dec 14, 2024 by martyall • Draft
2
Rust 1.74
#2875 opened Dec 13, 2024 by martyall • Draft
1
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! no:milestone will show everything without a milestone.