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

Optimizations #107

Closed
wants to merge 8 commits into from
Closed

Optimizations #107

wants to merge 8 commits into from

Conversation

OBrezhniev
Copy link
Member

@OBrezhniev OBrezhniev commented Sep 28, 2023

  • Done per template constraints measurements.
  • Do calculation of credential hash only once. Cut bit size for many templates. Economy: -1304 constraints for V3 circuit.
  • Use one instance of verifyClaimIssuance for sig and mtp flows. Economy: -11378 constraints
  • Made issuerAuthState signal an input. Added issuerState output signal that switches between issuerAuthState and issuerAuthState depending on proofType, so that only one value needs to be checked outside the circuit. Economy: -1 public signal to verify in smart contract.

…mplates. Economy: 1304 constraints for V3 circuit. Per template constraints measurements.
… that switches between issuerAuthState and issuerAuthState depending on proofType, so that only one value needs to be checked outside the circuit. Added missing isRevocationChecked signal output to testvector gen. Minor testvectorgen code reorg.
Economy: -1843 constraints for OffChain (now 56955), and -1075 for OnChain (now 108519)
…s` option in tests because it has no effect.
@OBrezhniev OBrezhniev closed this Oct 27, 2023
@OBrezhniev OBrezhniev deleted the feature/optimizations branch December 6, 2023 16:26
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.

1 participant