Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / lambdaclass/lambdaworks_stark_platinum issues and pull requests

#50 - Write proof to json in test_prove_cairo_program

Pull Request - State: closed - Opened by feltroidprime over 1 year ago

#50 - Write proof to json in test_prove_cairo_program

Pull Request - State: closed - Opened by feltroidprime over 1 year ago

#49 - Another clone removed

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 1 comment

#49 - Another clone removed

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 1 comment

#48 - Clone removed and Transition divisors improved with iterators

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 1 comment

#48 - Clone removed and Transition divisors improved with iterators

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 1 comment

#47 - Commit multiple columns using a single Merkle Tree

Pull Request - State: closed - Opened by schouhy over 1 year ago - 1 comment

#47 - Commit multiple columns using a single Merkle Tree

Pull Request - State: closed - Opened by schouhy over 1 year ago - 1 comment

#46 - perf: Avoid calling get_trace_evaluations twice

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 1 comment

#46 - perf: Avoid calling get_trace_evaluations twice

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 1 comment

#45 - Bump lambdaworks

Pull Request - State: closed - Opened by MauroToscano over 1 year ago

#45 - Bump lambdaworks

Pull Request - State: closed - Opened by MauroToscano over 1 year ago

#44 - Change evaluation form of boundary zerofiers

Issue - State: open - Opened by diegokingston over 1 year ago

#44 - Change evaluation form of boundary zerofiers

Issue - State: open - Opened by diegokingston over 1 year ago

#43 - Avoid recalculating domain when using FFT

Issue - State: open - Opened by diegokingston over 1 year ago

#43 - Avoid recalculating domain when using FFT

Issue - State: open - Opened by diegokingston over 1 year ago

#42 - Remove enforce selector constraint

Issue - State: open - Opened by entropidelic over 1 year ago

#42 - Remove enforce selector constraint

Issue - State: open - Opened by entropidelic over 1 year ago

#41 - Update README.md

Pull Request - State: closed - Opened by unbalancedparentheses over 1 year ago

#41 - Update README.md

Pull Request - State: closed - Opened by unbalancedparentheses over 1 year ago

#40 - Fix trace pad in tests

Pull Request - State: closed - Opened by MauroToscano over 1 year ago - 1 comment

#40 - Fix trace pad in tests

Pull Request - State: closed - Opened by MauroToscano over 1 year ago - 1 comment

#39 - Use square function

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 1 comment

#39 - Use square function

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 1 comment

#38 - perf: update lambdaworks and use Ruffini in deep composition poly

Pull Request - State: closed - Opened by Oppen over 1 year ago - 1 comment

#38 - perf: update lambdaworks and use Ruffini in deep composition poly

Pull Request - State: closed - Opened by Oppen over 1 year ago - 1 comment

#37 - Fri domain

Pull Request - State: closed - Opened by pablodeymo over 1 year ago

#37 - Fri domain

Pull Request - State: closed - Opened by pablodeymo over 1 year ago

#36 - perf: Deep comp

Pull Request - State: closed - Opened by pablodeymo over 1 year ago

#35 - feat: range-check builtin implementation

Pull Request - State: closed - Opened by entropidelic over 1 year ago - 1 comment

#35 - feat: range-check builtin implementation

Pull Request - State: closed - Opened by entropidelic over 1 year ago - 1 comment

#34 - perf: unnecessary clone removed

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 1 comment

#34 - perf: unnecessary clone removed

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 1 comment

#33 - Upgrade lambdaworks version

Pull Request - State: closed - Opened by pablodeymo over 1 year ago

#33 - Upgrade lambdaworks version

Pull Request - State: closed - Opened by pablodeymo over 1 year ago

#32 - Compute constraint composition poly sum

Pull Request - State: closed - Opened by pablodeymo over 1 year ago

#32 - Compute constraint composition poly sum

Pull Request - State: closed - Opened by pablodeymo over 1 year ago

#31 - Compute constraint composition poly evaluations sum

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 1 comment

#31 - Compute constraint composition poly evaluations sum

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 1 comment

#30 - Bump lambdaworks

Pull Request - State: closed - Opened by MauroToscano over 1 year ago

#30 - Bump lambdaworks

Pull Request - State: closed - Opened by MauroToscano over 1 year ago

#29 - Avoid keeping all evaluations in the composition polynomial

Pull Request - State: closed - Opened by pablodeymo over 1 year ago

#29 - Avoid keeping all evaluations in the composition polynomial

Pull Request - State: closed - Opened by pablodeymo over 1 year ago

#28 - Evaluate zerofier efficiently at coset points

Issue - State: open - Opened by diegokingston over 1 year ago

#28 - Evaluate zerofier efficiently at coset points

Issue - State: open - Opened by diegokingston over 1 year ago

#27 - Precompute the powers of the coset to (D-D_k)

Issue - State: open - Opened by diegokingston over 1 year ago

#27 - Precompute the powers of the coset to (D-D_k)

Issue - State: open - Opened by diegokingston over 1 year ago

#26 - Avoid storing all the evaluations

Issue - State: open - Opened by diegokingston over 1 year ago

#26 - Avoid storing all the evaluations

Issue - State: open - Opened by diegokingston over 1 year ago

#25 - Refactor folders and Air Trait location

Pull Request - State: closed - Opened by MauroToscano over 1 year ago

#25 - Refactor folders and Air Trait location

Pull Request - State: closed - Opened by MauroToscano over 1 year ago

#24 - Optimize prover transition evaluations

Pull Request - State: closed - Opened by ajgara over 1 year ago - 1 comment

#24 - Optimize prover transition evaluations

Pull Request - State: closed - Opened by ajgara over 1 year ago - 1 comment

#23 - Trace to Prover Refactor

Pull Request - State: closed - Opened by MauroToscano over 1 year ago - 1 comment

#23 - Trace to Prover Refactor

Pull Request - State: closed - Opened by MauroToscano over 1 year ago - 1 comment

#22 - Optimize prover boundary evaluations in construction of composition polynomial

Pull Request - State: closed - Opened by ajgara over 1 year ago - 3 comments

#22 - Optimize prover boundary evaluations in construction of composition polynomial

Pull Request - State: closed - Opened by ajgara over 1 year ago - 3 comments

#21 - test/split cfgs

Pull Request - State: closed - Opened by Oppen over 1 year ago - 2 comments

#21 - test/split cfgs

Pull Request - State: closed - Opened by Oppen over 1 year ago - 2 comments

#20 - Add metal feature to Cargo.toml

Pull Request - State: closed - Opened by pablodeymo over 1 year ago

#20 - Add metal feature to Cargo.toml

Pull Request - State: closed - Opened by pablodeymo over 1 year ago

#19 - Using metal for criterion benches

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 3 comments

#19 - Using metal for criterion benches

Pull Request - State: closed - Opened by pablodeymo over 1 year ago - 3 comments

#18 - Add basic criterion cairo benchmark

Pull Request - State: closed - Opened by MauroToscano over 1 year ago - 1 comment

#18 - Add basic criterion cairo benchmark

Pull Request - State: closed - Opened by MauroToscano over 1 year ago - 1 comment

#16 - Add Pedersen built-in

Issue - State: open - Opened by diegokingston over 1 year ago

#16 - Add Pedersen built-in

Issue - State: open - Opened by diegokingston over 1 year ago

#15 - Add range check built-in

Issue - State: open - Opened by diegokingston over 1 year ago

#15 - Add range check built-in

Issue - State: open - Opened by diegokingston over 1 year ago

#14 - Add rayon

Issue - State: closed - Opened by diegokingston over 1 year ago - 1 comment

#14 - Add rayon

Issue - State: closed - Opened by diegokingston over 1 year ago - 1 comment

#13 - Add small fields

Issue - State: open - Opened by diegokingston over 1 year ago

#13 - Add small fields

Issue - State: open - Opened by diegokingston over 1 year ago

#12 - Analyze memory use

Issue - State: closed - Opened by diegokingston over 1 year ago - 1 comment

#11 - Perform benchmark with CUDA

Issue - State: open - Opened by diegokingston over 1 year ago

#10 - Perform benchmarks with metal

Issue - State: open - Opened by diegokingston over 1 year ago

#9 - Improve infra for benchmarks

Issue - State: open - Opened by diegokingston over 1 year ago
Labels: documentation

#8 - Add CI file

Pull Request - State: closed - Opened by gabrielbosio over 1 year ago

#7 - Add factorial test

Pull Request - State: closed - Opened by gabrielbosio over 1 year ago

#6 - Update queries

Pull Request - State: closed - Opened by MauroToscano over 1 year ago

#5 - Update README.md

Pull Request - State: closed - Opened by unbalancedparentheses over 1 year ago

#4 - Update README.md

Pull Request - State: closed - Opened by unbalancedparentheses over 1 year ago

#3 - Add ci

Pull Request - State: closed - Opened by MauroToscano over 1 year ago - 1 comment

#2 - fix benchmarks

Pull Request - State: closed - Opened by MauroToscano over 1 year ago

#1 - fix benchmarks

Pull Request - State: closed - Opened by MauroToscano over 1 year ago