Code

Bump Gnark and gnark-lean-extractor#60

Code

Closed

wzmuda wants to merge 2 commits intoworldcoin:masterworldcoin/semaphore-mtb:masterfrom reilabs:wz/update-gnarkreilabs/semaphore-mtb:wz/update-gnarkCopy head branch name to clipboard

+101-74

Commits

Commits on Mar 28, 2024

• Bump Gnarkm gnark-lean-extractor and proven-zk

  Show description for 86157bc
  wzmuda

  committed
  86157bc

Commits on Mar 29, 2024

• Updated lean toolchain and mathlib to v4.2.0

  Eagle941

  committed
  5374181