Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Logderivative sum: polish the implementation #523

Conversation

AlexandreBelling
Copy link
Contributor

This PR implements issue(s) #

Checklist

  • I wrote new tests for my new core changes.
  • I have successfully ran tests, style checker and build against my new changes locally.
  • I have informed the team of any breaking changes if there are any.

@AlexandreBelling AlexandreBelling self-assigned this Jan 9, 2025
@AlexandreBelling AlexandreBelling changed the title polish the implementation Logderivative sum: polish the implementation Jan 9, 2025
@codecov-commenter
Copy link

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 70.17%. Comparing base (2c0e1b3) to head (001aa80).

Additional details and impacted files
@@                              Coverage Diff                               @@
##             prover/distributed-inclusion-pover-steps     #523      +/-   ##
==============================================================================
- Coverage                                       70.17%   70.17%   -0.01%     
  Complexity                                       1070     1070              
==============================================================================
  Files                                             306      306              
  Lines                                           12337    12337              
  Branches                                         1179     1179              
==============================================================================
- Hits                                             8658     8657       -1     
- Misses                                           3200     3201       +1     
  Partials                                          479      479              
Flag Coverage Δ *Carryforward flag
hardhat 98.59% <ø> (-0.11%) ⬇️
kotlin 67.86% <ø> (ø) Carriedforward from 2c0e1b3

*This pull request uses carry forward flags. Click here to find out more.

see 1 file with indirect coverage changes

@Soleimani193 Soleimani193 merged commit 5f2718c into prover/distributed-inclusion-pover-steps Jan 10, 2025
16 of 17 checks passed
@Soleimani193 Soleimani193 deleted the prover/distributed-inclusion-prover-steps-alex branch January 10, 2025 08:31
AlexandreBelling added a commit that referenced this pull request Jan 11, 2025
* replacing external coins and passing m columns to the module

* added prover steps, test is passing

* moved common functions to a new file

* adding doc

* polish the implementation (#523)

* removing the round from zcatalog

* better framework for testing

* testing with a top-level compatibility

---------

Co-authored-by: AlexandreBelling <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants