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

#70 - Pasta support

Pull Request - State: closed - Opened by imeckler about 4 years ago

#70 - Pasta support

Pull Request - State: closed - Opened by imeckler about 4 years ago

#69 - absorb combined inner product into sponge

Pull Request - State: closed - Opened by imeckler about 4 years ago

#69 - absorb combined inner product into sponge

Pull Request - State: closed - Opened by imeckler about 4 years ago

#68 - Bazel initial commit, take 2

Pull Request - State: closed - Opened by mobileink about 4 years ago - 1 comment

#68 - Bazel initial commit, take 2

Pull Request - State: closed - Opened by mobileink about 4 years ago - 1 comment

#67 - Fixes for compilation

Pull Request - State: closed - Opened by mrmr1993 about 4 years ago

#67 - Fixes for compilation

Pull Request - State: closed - Opened by mrmr1993 about 4 years ago

#66 - Partial updates from mina repo version

Pull Request - State: closed - Opened by mrmr1993 about 4 years ago - 1 comment

#66 - Partial updates from mina repo version

Pull Request - State: closed - Opened by mrmr1993 about 4 years ago - 1 comment

#65 - Simplified inner product argument

Pull Request - State: closed - Opened by mrmr1993 about 4 years ago

#65 - Simplified inner product argument

Pull Request - State: closed - Opened by mrmr1993 about 4 years ago

#64 - Hiding commitments

Pull Request - State: closed - Opened by imeckler about 4 years ago

#64 - Hiding commitments

Pull Request - State: closed - Opened by imeckler about 4 years ago

#63 - latest changes

Pull Request - State: closed - Opened by ltvvlz about 4 years ago - 1 comment

#63 - latest changes

Pull Request - State: closed - Opened by ltvvlz about 4 years ago - 1 comment

#62 - Simplified inner product argument

Pull Request - State: closed - Opened by imeckler about 4 years ago

#62 - Simplified inner product argument

Pull Request - State: closed - Opened by imeckler about 4 years ago

#61 - Bazel initial support: Marlin

Pull Request - State: closed - Opened by mobileink over 4 years ago - 3 comments

#61 - Bazel initial support: Marlin

Pull Request - State: closed - Opened by mobileink over 4 years ago - 3 comments

#60 - fix polycommitment opening with the proper padding of the degree-bounded polys

Pull Request - State: closed - Opened by ltvvlz over 4 years ago - 1 comment
Labels: no-pr-activity

#60 - fix polycommitment opening with the proper padding of the degree-bounded polys

Pull Request - State: closed - Opened by ltvvlz over 4 years ago - 1 comment
Labels: no-pr-activity

#59 - Tweaks for circuits

Pull Request - State: closed - Opened by imeckler over 4 years ago

#58 - Batch verify across key lengths

Pull Request - State: closed - Opened by vanishreerao over 4 years ago - 1 comment
Labels: no-pr-activity

#58 - Batch verify across key lengths

Pull Request - State: closed - Opened by vanishreerao over 4 years ago - 1 comment
Labels: no-pr-activity

#57 - Deterministic square root

Pull Request - State: closed - Opened by imeckler over 4 years ago

#57 - Deterministic square root

Pull Request - State: closed - Opened by imeckler over 4 years ago

#56 - additions for Plonk Snarky bindings and for recursion

Pull Request - State: closed - Opened by ltvvlz over 4 years ago

#56 - additions for Plonk Snarky bindings and for recursion

Pull Request - State: closed - Opened by ltvvlz over 4 years ago

#55 - batch verification across different vks

Pull Request - State: closed - Opened by imeckler over 4 years ago

#54 - correct merge error for pr-50

Pull Request - State: closed - Opened by ltvvlz over 4 years ago

#54 - correct merge error for pr-50

Pull Request - State: closed - Opened by ltvvlz over 4 years ago

#53 - Plonk prover/verifier support for recursion with previous proof challenges

Pull Request - State: closed - Opened by ltvvlz over 4 years ago

#53 - Plonk prover/verifier support for recursion with previous proof challenges

Pull Request - State: closed - Opened by ltvvlz over 4 years ago

#52 - Separate logic for initialising oracle values and actual verification

Pull Request - State: closed - Opened by mrmr1993 over 4 years ago

#52 - Separate logic for initialising oracle values and actual verification

Pull Request - State: closed - Opened by mrmr1993 over 4 years ago

#51 - Batch verify across vks

Pull Request - State: closed - Opened by imeckler over 4 years ago

#51 - Batch verify across vks

Pull Request - State: closed - Opened by imeckler over 4 years ago

#50 - update Poseidon and its Plonk custom constraints with the dense MDS matrix

Pull Request - State: closed - Opened by ltvvlz over 4 years ago

#50 - update Poseidon and its Plonk custom constraints with the dense MDS matrix

Pull Request - State: closed - Opened by ltvvlz over 4 years ago

#49 - Changes for coda compatibility

Pull Request - State: closed - Opened by mrmr1993 over 4 years ago

#49 - Changes for coda compatibility

Pull Request - State: closed - Opened by mrmr1993 over 4 years ago

#48 - Dlog solver

Pull Request - State: closed - Opened by vanishreerao over 4 years ago
Labels: !ci-build-me

#48 - Dlog solver

Pull Request - State: closed - Opened by vanishreerao over 4 years ago
Labels: !ci-build-me

#47 - Review for turbo plonk

Pull Request - State: closed - Opened by imeckler over 4 years ago

#47 - Review for turbo plonk

Pull Request - State: closed - Opened by imeckler over 4 years ago

#46 - Oracle parameters for tweedle curves, a few bugfixes

Pull Request - State: closed - Opened by imeckler over 4 years ago - 1 comment

#46 - Oracle parameters for tweedle curves, a few bugfixes

Pull Request - State: closed - Opened by imeckler over 4 years ago - 1 comment

#45 - snarky/rust bridge for turbo plonk

Issue - State: closed - Opened by imeckler over 4 years ago - 1 comment
Labels: no-issue-activity

#45 - snarky/rust bridge for turbo plonk

Issue - State: closed - Opened by imeckler over 4 years ago - 1 comment
Labels: no-issue-activity

#44 - Plonk implementation with updates to Algebra

Pull Request - State: closed - Opened by ltvvlz over 4 years ago - 2 comments
Labels: no-pr-activity

#43 - Plonk

Pull Request - State: closed - Opened by ltvvlz over 4 years ago

#43 - Plonk

Pull Request - State: closed - Opened by ltvvlz over 4 years ago

#42 - Design of custom constraints for poseidon

Issue - State: closed - Opened by imeckler over 4 years ago - 3 comments
Labels: no-issue-activity

#41 - Design of custom constraints for endo-scaling

Issue - State: closed - Opened by imeckler over 4 years ago - 2 comments
Labels: no-issue-activity

#40 - Merge upstream

Pull Request - State: closed - Opened by imeckler over 4 years ago

#39 - Plonk

Pull Request - State: closed - Opened by ltvvlz over 4 years ago - 1 comment

#39 - Plonk

Pull Request - State: closed - Opened by ltvvlz over 4 years ago - 1 comment

#38 - Constraint optimization: smushing in boolean constraints

Issue - State: closed - Opened by imeckler over 4 years ago - 1 comment
Labels: no-issue-activity

#38 - Constraint optimization: smushing in boolean constraints

Issue - State: closed - Opened by imeckler over 4 years ago - 1 comment
Labels: no-issue-activity

#37 - WIP : Use group map

Pull Request - State: closed - Opened by rbkhmrcr over 4 years ago

#37 - WIP : Use group map

Pull Request - State: closed - Opened by rbkhmrcr over 4 years ago

#36 - snarky: constraint -> PLONK gate compilation

Issue - State: closed - Opened by imeckler over 4 years ago - 1 comment
Labels: no-issue-activity

#34 - estimate performance for PLONK

Issue - State: closed - Opened by imeckler over 4 years ago - 1 comment

#34 - estimate performance for PLONK

Issue - State: closed - Opened by imeckler over 4 years ago - 1 comment

#33 - Affine "combine" for dlog commitment

Pull Request - State: closed - Opened by imeckler over 4 years ago - 7 comments

#32 - Modified scalar challenge

Pull Request - State: closed - Opened by imeckler almost 5 years ago - 2 comments

#32 - Modified scalar challenge

Pull Request - State: closed - Opened by imeckler almost 5 years ago - 2 comments

#30 - Use group map to replace prime_subgroup_generator

Pull Request - State: closed - Opened by rbkhmrcr almost 5 years ago

#29 - Various fixes

Pull Request - State: closed - Opened by imeckler almost 5 years ago - 1 comment

#29 - Various fixes

Pull Request - State: closed - Opened by imeckler almost 5 years ago - 1 comment

#28 - splitting polynomials with dlog-based protocol

Pull Request - State: closed - Opened by ltvvlz almost 5 years ago - 1 comment

#28 - splitting polynomials with dlog-based protocol

Pull Request - State: closed - Opened by ltvvlz almost 5 years ago - 1 comment

#27 - split the Succinct Marlin protocol polynomials

Pull Request - State: closed - Opened by ltvvlz almost 5 years ago - 1 comment
Labels: no-pr-activity

#27 - split the Succinct Marlin protocol polynomials

Pull Request - State: closed - Opened by ltvvlz almost 5 years ago - 1 comment
Labels: no-pr-activity

#26 - shuffle some bits around in the proofs, add optional extra polynomial…

Pull Request - State: closed - Opened by imeckler almost 5 years ago

#26 - shuffle some bits around in the proofs, add optional extra polynomial…

Pull Request - State: closed - Opened by imeckler almost 5 years ago

#25 - optimize commitment opening a bit, add sg to opening proofs

Pull Request - State: closed - Opened by imeckler almost 5 years ago - 2 comments

#25 - optimize commitment opening a bit, add sg to opening proofs

Pull Request - State: closed - Opened by imeckler almost 5 years ago - 2 comments

#24 - Reduce round complexity from 4 to 3

Issue - State: closed - Opened by ValarDragon almost 5 years ago - 2 comments

#24 - Reduce round complexity from 4 to 3

Issue - State: closed - Opened by ValarDragon almost 5 years ago - 2 comments

#23 - tweaks to how oracles are handled in Dlog based argument

Pull Request - State: closed - Opened by imeckler almost 5 years ago

#23 - tweaks to how oracles are handled in Dlog based argument

Pull Request - State: closed - Opened by imeckler almost 5 years ago

#22 - Use same marlin sponge

Pull Request - State: closed - Opened by imeckler almost 5 years ago

#22 - Use same marlin sponge

Pull Request - State: closed - Opened by imeckler almost 5 years ago

#21 - dlog verifier index

Pull Request - State: closed - Opened by imeckler almost 5 years ago

#21 - dlog verifier index

Pull Request - State: closed - Opened by imeckler almost 5 years ago

#20 - Split out eval domains for dlog proof

Pull Request - State: closed - Opened by imeckler almost 5 years ago

#19 - use near mds matrix and change alpha to 17

Pull Request - State: closed - Opened by imeckler almost 5 years ago - 2 comments

#19 - use near mds matrix and change alpha to 17

Pull Request - State: closed - Opened by imeckler almost 5 years ago - 2 comments

#18 - Updated dlog scheme

Pull Request - State: closed - Opened by imeckler almost 5 years ago

#18 - Updated dlog scheme

Pull Request - State: closed - Opened by imeckler almost 5 years ago

#17 - this commits 6K->3K polynomial degree reduction

Pull Request - State: closed - Opened by ghost about 5 years ago

#16 - This PR proposes some parallelization optimizations with rayon crate

Pull Request - State: closed - Opened by ghost about 5 years ago - 2 comments
Labels: no-pr-activity

#15 - Reducing the size of the dlog based reference string

Issue - State: closed - Opened by imeckler about 5 years ago - 3 comments

#14 - consolidate both Marlins into the same workspace

Pull Request - State: closed - Opened by ghost about 5 years ago

#13 - change alpha to 17 to improve sponge performance

Pull Request - State: closed - Opened by imeckler about 5 years ago - 1 comment

#12 - Tweaks

Pull Request - State: closed - Opened by imeckler about 5 years ago - 3 comments