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.

Sign up for GitHub

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

Jump to bottom

Add number of addition constraints and total constraints to r1cs info #353

Open
wants to merge 54 commits into
base: master
Choose a base branch
from
Open

Add number of addition constraints and total constraints to r1cs info #353

wants to merge 54 commits into from

Conversation

xavi-pinsach
Copy link
Collaborator

Added to r1cs info a flag to compute number of additions (additional constraints) and total number of constraints

@xavi-pinsach xavi-pinsach changed the title Feat r1cs print additions Add number of addition constraints and total constraints to r1cs info Apr 21, 2023
xavi-pinsach and others added 25 commits April 30, 2023 18:11
@xavi-pinsach
Plonk refactored with new clsses and working
5add066
@xavi-pinsach
change logger.in -> logger.debug
44b1efb
@xavi-pinsach
update protocol to last version
d4a17f0
@xavi-pinsach
Refactor Fiat-Shamir adding preprocessed circuit dependent values
ae4130c
@xavi-pinsach
Add check functions in js and sc
7f462cc
@xavi-pinsach
refactor groth16 smart contract to assembly code
80e7ce1
@xavi-pinsach
fix calldata types and test passing
aadeb25
@xavi-pinsach
fix errors. working
37fbbde
@xavi-pinsach
wip
dbe718d
@xavi-pinsach
add debug function
bd57b81
@xavi-pinsach
remove console.log import
cc771d4
@xavi-pinsach
Plonk smart contracte refactored.
1218180
@xavi-pinsach
Added test with circuits using +1 inputs
b6f9655
@xavi-pinsach
Added cricuits tests with +1 inputs
b22da86
@xavi-pinsach
Merge branch 'master' into plonk_classes
3b9d22e
@xavi-pinsach
mod package.json
9016760
@xavi-pinsach
Merge branch 'master' into feat_r1cs_print_additions
379876d
@phated
fix(cli): Correctly return status codes instead of values (#369)
2f9def4
@phated
feat: Use WebCrypto if available (#364)
e094f55 
chore: Increase eslint ecmaVersion to 2022
chore: Lint cleanup
@phated
chore(ci): Add browser testing (#365)
2eef5d1
@RogerTaule @xavi-pinsach
Feat lagrange verifier (#368)
e70271b 
* update fflonk SC change memory->calldata

* Optimizing Lagrange calculation

* Fixing Fflonk when having multiple public inputs

---------

Co-authored-by: Xavi Pinsach <[email protected]>
@xavi-pinsach
Plonk refactored with new clsses and working
c8b54e0
@xavi-pinsach
change logger.in -> logger.debug
3b6349d
@xavi-pinsach
update protocol to last version
40a0afc
@xavi-pinsach
Refactor Fiat-Shamir adding preprocessed circuit dependent values
b57d0cd
@xavi-pinsach
fix errors. working
d4a8fe5
@xavi-pinsach
wip
2485bb4
@xavi-pinsach
add debug function
9237714
@xavi-pinsach
Plonk smart contracte refactored.
9b09432
@xavi-pinsach
Added cricuits tests with +1 inputs
46dfbd3
@xavi-pinsach
mod package.json
5895e8b
@xavi-pinsach
update ffjavascript to 0.2.59
dc4e991
@xavi-pinsach
Merge branch 'plonk_classes' of github.com:iden3/snarkjs into plonk_c…
bf6eda7 
…lasses
@xavi-pinsach
Add check functions in js and sc
bdcfff7
@xavi-pinsach
refactor groth16 smart contract to assembly code
fe20248
@xavi-pinsach
fix calldata types and test passing
f876879
@xavi-pinsach
remove console.log import
ee8b9e3
@xavi-pinsach
add scalar import
fd9b765
@xavi-pinsach
Merge branch 'xpinsach/refactor-groth16-sc' of github.com:iden3/snark…
eea77e5 
…js into xpinsach/refactor-groth16-sc
@xavi-pinsach
Add check functions in js and sc
0cdacdf
@xavi-pinsach
refactor groth16 smart contract to assembly code
62a3b9e
@xavi-pinsach
fix calldata types and test passing
d5a179c
@xavi-pinsach
remove console.log import
5f41773
@xavi-pinsach
add scalar import
cfac623
@xavi-pinsach
Merge branch 'xpinsach/refactor-groth16-sc' of github.com:iden3/snark…
131e55c 
…js into xpinsach/refactor-groth16-sc
@xavi-pinsach
remove hardhat import
03f344b
@xavi-pinsach
Add num additions to r1cs info
88e3304
@xavi-pinsach
add checkAddtions as optional flag
5d2b9c1
@xavi-pinsach
add total constraints in info
f20470d
@xavi-pinsach
Merge branch 'feat_r1cs_print_additions' of github.com:iden3/snarkjs …
de531e9 
…into feat_r1cs_print_additions
@xavi-pinsach
remove circular dependency
3f81e1a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jbaylina jbaylina Awaiting requested review from jbaylina

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@xavi-pinsach @phated @RogerTaule