0xPolygonZero/plonky2 issues and pull requests

#1664 - Update SECURITY.md

Pull Request - State: closed - Opened by donatik27 8 days ago

#1655 - feat: configurable nightly optimizations

Pull Request - State: open - Opened by NikitaMasych 11 days ago - 1 comment

#1654 - fix(field): added os_rng conditioning feature

Pull Request - State: open - Opened by NikitaMasych 11 days ago - 1 comment

#100 - Have `prove` return `Result`

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#100 - Have `prove` return `Result`

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#99 - Division related changes

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#99 - Division related changes

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#98 - Make ZK optional

Issue - State: closed - Opened by dlubarov over 3 years ago - 2 comments

#98 - Make ZK optional

Issue - State: closed - Opened by dlubarov over 3 years ago - 2 comments

#97 - Safe division

Issue - State: closed - Opened by dlubarov over 3 years ago

#97 - Safe division

Issue - State: closed - Opened by dlubarov over 3 years ago

#96 - Remove openings at frob(zeta)

Issue - State: closed - Opened by dlubarov over 3 years ago - 3 comments

#96 - Remove openings at frob(zeta)

Issue - State: closed - Opened by dlubarov over 3 years ago - 3 comments

#95 - Recursive verifier

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#95 - Recursive verifier

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#94 - Fix some warnings

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#94 - Fix some warnings

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#93 - Proof serialization

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#93 - Proof serialization

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#92 - Parallel proof-of-work search

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#92 - Parallel proof-of-work search

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#91 - Final coefficients are zero-padded

Issue - State: closed - Opened by dlubarov over 3 years ago - 5 comments

#91 - Final coefficients are zero-padded

Issue - State: closed - Opened by dlubarov over 3 years ago - 5 comments

#90 - Insertion gate

Pull Request - State: closed - Opened by npwardberkeley over 3 years ago

#90 - Insertion gate

Pull Request - State: closed - Opened by npwardberkeley over 3 years ago

#89 - Insertion gadget fix

Pull Request - State: closed - Opened by npwardberkeley over 3 years ago - 2 comments

#89 - Insertion gadget fix

Pull Request - State: closed - Opened by npwardberkeley over 3 years ago - 2 comments

#88 - Working verifier

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#87 - Optimize `TargetPartition` using a disjoint-set data structure

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#87 - Optimize `TargetPartition` using a disjoint-set data structure

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#86 - Fix high degree `z` check by using partial products

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

#86 - Fix high degree `z` check by using partial products

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

#85 - Efficient insert

Pull Request - State: closed - Opened by npwardberkeley over 3 years ago

#85 - Efficient insert

Pull Request - State: closed - Opened by npwardberkeley over 3 years ago

#84 - Allow virtual targets to be routed

Pull Request - State: closed - Opened by dlubarov over 3 years ago - 1 comment

#84 - Allow virtual targets to be routed

Pull Request - State: closed - Opened by dlubarov over 3 years ago - 1 comment

#83 - Benchmark tweaks

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#83 - Benchmark tweaks

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#82 - Couple fixes related to blinding

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#82 - Couple fixes related to blinding

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#81 - FFT improvements

Pull Request - State: closed - Opened by unzvfu over 3 years ago - 2 comments

#81 - FFT improvements

Pull Request - State: closed - Opened by unzvfu over 3 years ago - 2 comments

#80 - Blinding factors

Pull Request - State: closed - Opened by npwardberkeley over 3 years ago

#79 - Optimize max constraint degree when searching for gate trees

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#79 - Optimize max constraint degree when searching for gate trees

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#78 - Simple reduce

Pull Request - State: closed - Opened by dlubarov over 3 years ago - 1 comment

#77 - Performance tweaks

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#76 - Increase number of routed wires to 28 and add a new `ArithmeticExtensionGate`

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#75 - Merge constant sigma commitments

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#74 - oFix recursion bench

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#73 - Combine preprocessed polynomials into one Merkle tree

Issue - State: closed - Opened by dlubarov over 3 years ago - 2 comments

#72 - Delete coset [I]FFT methods

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#71 - Add gate tree, gate prefixes and filtered methods

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#70 - Optimize some polynomial operations

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#69 - Optimize reductions by `alpha`

Pull Request - State: closed - Opened by wborgeaud over 3 years ago - 2 comments

#68 - `Z`s polynomials implementation

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#67 - Hardcode Plonk polynomials indices and blinding flags.

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#66 - Enforce copy constraints in witness generation

Pull Request - State: closed - Opened by wborgeaud over 3 years ago - 11 comments

#65 - Add gate filters

Issue - State: closed - Opened by dlubarov over 3 years ago - 1 comment

#64 - Public inputs

Issue - State: closed - Opened by dlubarov over 3 years ago - 3 comments

#63 - Plonk tweaks to support more routed wires

Issue - State: closed - Opened by dlubarov over 3 years ago - 1 comment

#62 - Fix `InterpolationGenerator` dependencies.

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#61 - Recursive verifier

Pull Request - State: closed - Opened by wborgeaud over 3 years ago - 1 comment

#60 - Have rustfmt group imports

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#59 - Try to simplify open_plonk and fri_combine_initial a bit more

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#58 - Remove quartic_quartic

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#57 - Field extension algebras

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#56 - Use of quartic-quartic field extension in `InterpolationGate`

Issue - State: closed - Opened by wborgeaud over 3 years ago - 1 comment

#55 - Check base field

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#54 - Bit of verifier work

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#53 - Verify batch FRI soundness error with our parameters

Issue - State: closed - Opened by dlubarov over 3 years ago - 4 comments

#52 - test_arithmetic for extension fields

Issue - State: closed - Opened by dlubarov over 3 years ago - 2 comments

#51 - Draw challenge points from the extension field

Pull Request - State: closed - Opened by dlubarov over 3 years ago - 1 comment

#50 - First bit of verifier

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#49 - Little circuit optimization

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#48 - Clean extension code + Recursive interpolation gate

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#47 - Compute the three quotient polys in parallel

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#46 - Tweaks to bench_ldes

Pull Request - State: closed - Opened by dlubarov over 3 years ago - 1 comment

#45 - Change `Field::exp` to using a `u64` power.

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#44 - FRI with extension fields

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#43 - Fix intermittent inv_mod_xn failure

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#42 - Interpolation gate

Pull Request - State: closed - Opened by dlubarov over 3 years ago - 1 comment

#41 - Switched over from OsRng --> thread_rng

Pull Request - State: closed - Opened by BGluth over 3 years ago

#40 - Move timed! and call from ListPolynomialCommitment

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#39 - Use num_checks zetas

Pull Request - State: closed - Opened by dlubarov over 3 years ago - 2 comments

#38 - Finish merging in old_polynomial

Pull Request - State: closed - Opened by dlubarov over 3 years ago

#37 - Extension field

Pull Request - State: closed - Opened by wborgeaud over 3 years ago

#36 - Some cleanup related to the two polynomial APIs

Pull Request - State: closed - Opened by dlubarov over 3 years ago - 5 comments

#35 - Pad with resize

Pull Request - State: closed - Opened by dlubarov over 3 years ago - 1 comment

#34 - Batched polynomial commitments + changes to PLONK prover

Pull Request - State: closed - Opened by wborgeaud over 3 years ago - 1 comment

#33 - Observe root of tree containing quotient poly data

Pull Request - State: closed - Opened by dlubarov almost 4 years ago

#32 - Zero knowledge + List polynomial commitments

Pull Request - State: closed - Opened by wborgeaud almost 4 years ago - 1 comment

#31 - Fixes a bug in the field subtraction

Pull Request - State: closed - Opened by wborgeaud almost 4 years ago

#30 - Subtraction can be wrong

Issue - State: closed - Opened by wborgeaud almost 4 years ago

#29 - Add zero knowledge

Issue - State: closed - Opened by dlubarov almost 4 years ago - 3 comments

#28 - Add methods for MDS matrices

Pull Request - State: closed - Opened by dlubarov almost 4 years ago - 1 comment

#27 - More work on FRI reduction arity

Pull Request - State: closed - Opened by wborgeaud almost 4 years ago

#26 - Recursive evaluation of GMiMCGate

Pull Request - State: closed - Opened by dlubarov almost 4 years ago

#25 - Fix Challenger's duplicate challenge bug

Pull Request - State: closed - Opened by dlubarov almost 4 years ago

#24 - Fri reduction arity

Pull Request - State: closed - Opened by wborgeaud almost 4 years ago

GitHub / 0xPolygonZero/plonky2 issues and pull requests