Skip to content

Commit

Permalink
feat: Goblin Translator Decomposition relation (Goblin Translator par…
Browse files Browse the repository at this point in the history 
…t 4) (#2802)

This PR adds the goblin translator decomposition relation along with its
consistency test. The relation decomposes values from the EccOpQueue
transcript into limbs that are used for bigfield arithmetic and
decomposes those limbs into microlimbs used for range constraining the
inputs and results
  • Loading branch information
@Rumata888
Rumata888 authored Oct 12, 2023
1 parent 2ea199f commit 3c3cd9f
Show file tree
Hide file tree
Showing 2 changed files with 1,246 additions and 0 deletions.
Loading

0 comments on commit 3c3cd9f

Please sign in to comment.