Code

Some Type simplifications#297

Code

Merged

huitseeker merged 8 commits intodevlurk-lang/arecibo:devfrom type_simplificationslurk-lang/arecibo:type_simplificationsCopy head branch name to clipboardFeb 5, 2024

+651-917

Commits

Commits on Feb 2, 2024

• refactor: Reorder generic parameters across all SNARK methods and structs

  Show description for 6b40aec
  huitseeker

  committed
  6b40aec

• feat: Implement CurveCycleEquipped for various engines

  Show description for aea857a
  huitseeker

  committed
  aea857a

Commits on Feb 3, 2024

• refactor: Refactor SNARK parameters and update related functions

  Show description for 8bb8989
  huitseeker

  committed
  8bb8989

• chore: remove type boilerplate

  huitseeker

  committed
  9ab0a44

• refactor: Refactor supernova for single engine parameters and simplified testing

  Show description for 452e54e
  huitseeker

  committed
  452e54e

• refactor: Refactor engine parameterization in circuit tests

  Show description for faca1e6
  huitseeker

  committed
  faca1e6

Commits on Feb 5, 2024

• chore: rename SecEng -> Dual

  huitseeker

  committed
  696c96f

• docs: Improve code readability and testing robustness

  Show description for 0dc08a9
  huitseeker

  committed
  0dc08a9