Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / o1-labs/proof-systems issues and pull requests
#2955 - encoding/decoding for saffron data
Pull Request -
State: open - Opened by martyall about 4 hours ago
- 1 comment
#2954 - chore: remove redundant words
Pull Request -
State: open - Opened by pinglanlu about 9 hours ago
#2953 - ci sanity check 2 [do not merge]
Pull Request -
State: closed - Opened by martyall 3 days ago
- 1 comment
#2952 - CI sanity check [do not merge]
Pull Request -
State: closed - Opened by martyall 3 days ago
#2951 - Track lookup values in interpreter and proof
Pull Request -
State: closed - Opened by mrmr1993 3 days ago
- 1 comment
#2950 - Use a sane type for Relation in the MIPS constraints
Pull Request -
State: closed - Opened by mrmr1993 3 days ago
- 1 comment
#2949 - Parameterise `ColumnIndexer`
Pull Request -
State: closed - Opened by mrmr1993 3 days ago
- 1 comment
#2948 - Parameterise `Column`
Pull Request -
State: closed - Opened by mrmr1993 3 days ago
- 1 comment
#2947 - Stop generating new scratch state for halt addresses
Pull Request -
State: closed - Opened by mrmr1993 4 days ago
- 1 comment
#2946 - Track lookup values in interpreter and proof
Pull Request -
State: closed - Opened by mrmr1993 5 days ago
- 3 comments
#2945 - Add Oracle tests for MIPS
Pull Request -
State: closed - Opened by martyall 6 days ago
- 2 comments
#2944 - Martin/add oracle tests
Pull Request -
State: closed - Opened by martyall 6 days ago
- 2 comments
#2943 - Add multiplicity tracking for lookups
Pull Request -
State: closed - Opened by mrmr1993 6 days ago
- 1 comment
#2942 - Fix spelling
Pull Request -
State: open - Opened by Pricstas 6 days ago
#2941 - Command line interface for riscV and pickles
Pull Request -
State: open - Opened by svv232 7 days ago
- 1 comment
#2940 - added srs_cache cli arg
Pull Request -
State: open - Opened by martyall 7 days ago
- 1 comment
#2939 - riscv batch inverse
Pull Request -
State: closed - Opened by svv232 8 days ago
- 1 comment
#2938 - Arrabbiata: clarify naming convention + absorb program state
Pull Request -
State: open - Opened by dannywillems 8 days ago
- 1 comment
#2937 - Support Rust 1.79
Pull Request -
State: closed - Opened by dannywillems 8 days ago
- 1 comment
#2936 - Support Rust 1.78
Pull Request -
State: closed - Opened by dannywillems 8 days ago
- 1 comment
#2935 - Support Rust 1.77
Pull Request -
State: closed - Opened by dannywillems 8 days ago
- 1 comment
#2934 - Make Clippy happy for 1.76
Pull Request -
State: closed - Opened by dannywillems 9 days ago
- 1 comment
#2933 - CI: add Rust 1.76
Pull Request -
State: closed - Opened by dannywillems 9 days ago
- 1 comment
#2932 - CI: adding Rust 1.75
Pull Request -
State: closed - Opened by dannywillems 9 days ago
- 1 comment
#2931 - CI: stop generating doc for each Rust toolchain
Pull Request -
State: closed - Opened by dannywillems 9 days ago
- 1 comment
#2930 - Make clippy happy for 1.75
Pull Request -
State: closed - Opened by dannywillems 9 days ago
- 3 comments
#2929 - Arrabbiata: add resources in README
Pull Request -
State: closed - Opened by dannywillems 9 days ago
- 1 comment
#2928 - Mina-poseidon: add regtest absorbing identity
Pull Request -
State: closed - Opened by dannywillems 9 days ago
- 1 comment
#2927 - Mina-poseidon: regression tests + top-level documentation
Pull Request -
State: closed - Opened by dannywillems 10 days ago
- 1 comment
#2926 - add open mips tests
Pull Request -
State: closed - Opened by martyall 10 days ago
- 1 comment
#2925 - [Discussion] Arrabbiata: IVC witness for first instance
Issue -
State: open - Opened by dannywillems 10 days ago
Labels: question
#2924 - CI/Arrabbiata: make the main file running for continuous testing
Pull Request -
State: closed - Opened by dannywillems 10 days ago
- 1 comment
#2922 - o1vm: remove legacy flavor
Pull Request -
State: closed - Opened by dannywillems 13 days ago
- 1 comment
#2921 - Setup failing mips program
Pull Request -
State: open - Opened by martyall 14 days ago
- 1 comment
#2920 - Optional PreImageOracle
Pull Request -
State: closed - Opened by martyall 14 days ago
- 1 comment
#2919 - Fix typos
Pull Request -
State: closed - Opened by chloefeal 14 days ago
- 1 comment
#2918 - docs: fix typos
Pull Request -
State: closed - Opened by oliveredget 15 days ago
- 1 comment
#2917 - o1vm/riscv32im: programs performing arithmetic on 2^31 - 1
Pull Request -
State: open - Opened by dannywillems 17 days ago
- 1 comment
#2916 - o1vm/riscv32im: helper to read a uint32 from memory
Pull Request -
State: open - Opened by dannywillems 17 days ago
- 1 comment
#2915 - o1vm/riscv32im: implement jal
Pull Request -
State: closed - Opened by dannywillems 20 days ago
- 1 comment
#2914 - o1vm/riscv32im: decrease the number of required columns
Pull Request -
State: closed - Opened by dannywillems 21 days ago
- 1 comment
#2913 - o1vm/riscv32im: being strict on scope and unsafe def
Pull Request -
State: closed - Opened by dannywillems 21 days ago
- 1 comment
#2912 - o1vm/lookup: enforce 80 limits characters
Pull Request -
State: closed - Opened by dannywillems 21 days ago
- 1 comment
#2911 - gen-state-json
Pull Request -
State: closed - Opened by martyall 23 days ago
- 1 comment
#2910 - WIP: no-op MIPS
Pull Request -
State: open - Opened by dannywillems 24 days ago
#2907 - o1vm/pickles: simplifying main file by extracting all constraints
Pull Request -
State: closed - Opened by dannywillems 24 days ago
- 1 comment
#2906 - Makefile: target to import all programs from Optimism
Pull Request -
State: closed - Opened by dannywillems 24 days ago
- 5 comments
#2886 - Run/Prove/Verify simple mips program
Pull Request -
State: closed - Opened by martyall 27 days ago
#2876 - add plonk-wasm
Pull Request -
State: open - Opened by martyall about 1 month ago
- 2 comments
#2875 - Rust 1.74
Pull Request -
State: open - Opened by martyall about 1 month ago
- 1 comment
#2874 - CI: dropping support for Rust 1.71
Pull Request -
State: closed - Opened by dannywillems about 1 month ago
- 2 comments
#2868 - [20241209] Merge develop into master
Pull Request -
State: open - Opened by dannywillems about 1 month ago
- 1 comment
#2864 - o1vm/riscv32im: start checking the nb of csts per instruction
Pull Request -
State: closed - Opened by dannywillems about 1 month ago
- 1 comment
#2812 - o1vm/riscv32im: integration test with is_prime_naive (REM instruction)
Pull Request -
State: closed - Opened by dannywillems about 2 months ago
- 1 comment
#2757 - Logup for o1vm
Pull Request -
State: open - Opened by Fizzixnerd 2 months ago
- 2 comments
#2727 - o1vm/riscv32i
Pull Request -
State: closed - Opened by dannywillems 3 months ago
- 6 comments
#2726 - WIP: compile other MIPS programs
Pull Request -
State: closed - Opened by dannywillems 3 months ago
- 4 comments
#2720 - WIP: Arrabiata/Fiat-Shamir is fun
Pull Request -
State: closed - Opened by dannywillems 3 months ago
- 1 comment
#2686 - Arrabiata/README: ASCII diagrams for message passing [DO NOT REVIEW]
Pull Request -
State: closed - Opened by dannywillems 3 months ago
- 2 comments
#2605 - o1vm/pickles: unit tests from ethereum-optimism
Pull Request -
State: closed - Opened by dannywillems 4 months ago
- 3 comments
#100 - Created poseidon_3 parameters
Pull Request -
State: closed - Opened by jspada over 3 years ago
#100 - Created poseidon_3 parameters
Pull Request -
State: closed - Opened by jspada over 3 years ago
#99 - Created poseidon_3 parameters
Pull Request -
State: closed - Opened by jspada over 3 years ago
#99 - Created poseidon_3 parameters
Pull Request -
State: closed - Opened by jspada over 3 years ago
#98 - Create new 3-wire poseidon parameters for Fp and Fq
Issue -
State: closed - Opened by jspada over 3 years ago
#98 - Create new 3-wire poseidon parameters for Fp and Fq
Issue -
State: closed - Opened by jspada over 3 years ago
#97 - Make poseidon params unique per configuration
Pull Request -
State: closed - Opened by jspada over 3 years ago
#97 - Make poseidon params unique per configuration
Pull Request -
State: closed - Opened by jspada over 3 years ago
#96 - Make poseidon params unique per configuration
Issue -
State: closed - Opened by jspada over 3 years ago
#96 - Make poseidon params unique per configuration
Issue -
State: closed - Opened by jspada over 3 years ago
#95 - Updated 5-wire Poseidon hash to secure full rounds parameter
Pull Request -
State: closed - Opened by jspada over 3 years ago
#95 - Updated 5-wire Poseidon hash to secure full rounds parameter
Pull Request -
State: closed - Opened by jspada over 3 years ago
#94 - Update to secure 5-wire poseidon parameters
Issue -
State: closed - Opened by jspada over 3 years ago
#94 - Update to secure 5-wire poseidon parameters
Issue -
State: closed - Opened by jspada over 3 years ago
#93 - Implemented 3- and 5-wire Poseidon unit tests
Pull Request -
State: closed - Opened by jspada over 3 years ago
#92 - Feature/poseidon unit tests
Pull Request -
State: closed - Opened by jspada over 3 years ago
- 1 comment
#92 - Feature/poseidon unit tests
Pull Request -
State: closed - Opened by jspada over 3 years ago
- 1 comment
#91 - Abstract 5-wires gates over CircuitGate and ConstraintSystem
Pull Request -
State: closed - Opened by mrmr1993 over 3 years ago
- 1 comment
Labels: no-pr-activity
#91 - Abstract 5-wires gates over CircuitGate and ConstraintSystem
Pull Request -
State: closed - Opened by mrmr1993 over 3 years ago
- 1 comment
Labels: no-pr-activity
#90 - Add poseidon 3-wire and 5-wire unit tests
Issue -
State: closed - Opened by jspada over 3 years ago
#90 - Add poseidon 3-wire and 5-wire unit tests
Issue -
State: closed - Opened by jspada over 3 years ago
#89 - Snarky support for plookup
Pull Request -
State: closed - Opened by ltvvlz almost 4 years ago
#89 - Snarky support for plookup
Pull Request -
State: closed - Opened by ltvvlz almost 4 years ago
#88 - code corrections for updated Rust toolchain
Pull Request -
State: closed - Opened by ltvvlz almost 4 years ago
- 1 comment
#88 - code corrections for updated Rust toolchain
Pull Request -
State: closed - Opened by ltvvlz almost 4 years ago
- 1 comment
#87 - Plonk with Plookup
Pull Request -
State: closed - Opened by ltvvlz almost 4 years ago
- 2 comments
Labels: no-pr-activity
#87 - Plonk with Plookup
Pull Request -
State: closed - Opened by ltvvlz almost 4 years ago
- 2 comments
Labels: no-pr-activity
#86 - Remove some mina-specific dependencies from pickles
Issue -
State: closed - Opened by mrmr1993 almost 4 years ago
- 1 comment
Labels: no-issue-activity
#86 - Remove some mina-specific dependencies from pickles
Issue -
State: closed - Opened by mrmr1993 almost 4 years ago
- 1 comment
Labels: no-issue-activity
#85 - Simplify snarky
Issue -
State: closed - Opened by mrmr1993 almost 4 years ago
- 1 comment
Labels: no-issue-activity
#85 - Simplify snarky
Issue -
State: closed - Opened by mrmr1993 almost 4 years ago
- 1 comment
Labels: no-issue-activity
#84 - Plonk with Plookup
Pull Request -
State: closed - Opened by ltvvlz almost 4 years ago
- 3 comments
Labels: no-pr-activity
#84 - Plonk with Plookup
Pull Request -
State: closed - Opened by ltvvlz almost 4 years ago
- 3 comments
Labels: no-pr-activity
#83 - Feature/five wires
Pull Request -
State: closed - Opened by mrmr1993 almost 4 years ago
- 1 comment
#83 - Feature/five wires
Pull Request -
State: closed - Opened by mrmr1993 almost 4 years ago
- 1 comment
#82 - Add tweedle fp5 and fq5 parameters for oracle
Pull Request -
State: closed - Opened by mrmr1993 almost 4 years ago
- 1 comment
#82 - Add tweedle fp5 and fq5 parameters for oracle
Pull Request -
State: closed - Opened by mrmr1993 almost 4 years ago
- 1 comment
#81 - Remove pairing plonk
Pull Request -
State: closed - Opened by mrmr1993 almost 4 years ago
- 1 comment
Labels: no-pr-activity
#81 - Remove pairing plonk
Pull Request -
State: closed - Opened by mrmr1993 almost 4 years ago
- 1 comment
Labels: no-pr-activity
#80 - Plonk protocol implementation adapted to run as WebAssembly within Safari (or Chrome) browser
Pull Request -
State: closed - Opened by ltvvlz about 4 years ago
- 1 comment
Labels: no-pr-activity