Code

Add 32-bit addition#24

Code

Draft

gio54321 wants to merge 2 commits intomainVerified-zkEVM/clean:mainfrom feat/addition32Verified-zkEVM/clean:feat/addition32Copy head branch name to clipboard

+365

Commits

Commits on Dec 5, 2024

• Add32 initial implementation

  gio54321

  committed
  5caa61f

  Copy full SHA for 5caa61f

Commits on Dec 20, 2024

• Formalize soundness

  

  Marco Besier

  committed
  bbab9b9

  Copy full SHA for bbab9b9