Skip to content
This repository has been archived by the owner on Aug 15, 2024. It is now read-only.

Commit

Permalink
range/zero checks are compatible with width3 naive main gate
Browse files Browse the repository at this point in the history
  • Loading branch information
@saitima
saitima committed Aug 1, 2024
1 parent 2546c63 commit 1495a55
Show file tree
Hide file tree
Showing 5 changed files with 463 additions and 74 deletions.
Loading

1 comment on commit 1495a55

@shamatar
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You can save few gates here and there, it may help to reduce circuits to have better margin

Please sign in to comment.