Skip to content

Commit

Permalink
Removed constraint breakdown from the Readme.md
Browse files Browse the repository at this point in the history
  • Loading branch information
whoisgautxm committed Aug 22, 2024
1 parent 4c6bc88 commit 52e22dd
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 16 deletions.
6 changes: 0 additions & 6 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -88,12 +88,6 @@ This is a mono-repo that contains the circom circuits, smart contracts, the rela
### Circuits and Constraints:
*Total Constraints Across All Circuits*: **3,999,432**

- **Main Circuits:**
- `Announcement.circom`: 459 constraints
- `Claim.circom`: 921 constraints
- `Email_sender.circom`: 1,895,054 constraints
- `Account_creation.circom`: 2,102,567 constraints


<br />

Expand Down
10 changes: 0 additions & 10 deletions packages/circuits/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -104,16 +104,6 @@ Its instances are as follows:
7. a flag whether the subject contains the recipient's email address `has_email_recipient` (0 or 1).
8. the recipient's email address commitment `recipient_email_addr_commit`.
9. a timestamp in the email header `timestamp`.

Constraint breakdown of the circuit is as follows:
1. this file is a standard template designed for email verification `email-verifier.circom : 669650 constraints` .
2. this circuit is designed to validate and extract email addresses from a given message `from_addr_regex.circom : 643296 constraints`.
3. this circuit is designed to verify if a given input message conforms to a specific regex pattern that checks for email subjects `subject_all_regex.circom : 99208 constraints`.
4. this circuit is designed to validate email addresses based on a specified regular expression. It checks if the input string (representing an email address) conforms to the defined pattern `email_addr_regex.circom : 92037 constraints`.
5. this circuit is designed to validate an invitation code that may have a prefix. It uses a regular expression to check if the input message conforms to a specific pattern, which includes optional spaces and the word "code" followed by a hexadecimal string `invitation_code_with_prefix_regex.circom : 43494 constraints`.
6. `email_domain_regex.circom : 38219 constraints`.
7. this circuit is designed to validate a specific format of a DKIM (DomainKeys Identified Mail) signature within a given message`timestamp_regex.circom : 233872 constraints`.


#### `announcement.circom`
A circuit to verify that the given email address commitment is derived from the given email address and randomness. While it is not used in our core contracts, it is provided for third-party contracts to register unclaimed funds/states for the public email address and the randomness.
Expand Down

0 comments on commit 52e22dd

Please sign in to comment.