applied crypto, security, experimental things. head of research @__geometry__, puzzler @__zkhack__, producing blocks @zkvalidator, cryptography @cLabs
396 Followers
catch up on the new result from Andrija and Liam on how to optimize pairings in snarks and on-chain verifiers, by removing final exponentiation and more it's applicable almost everywhere :) reach out to us to use it in your case https://x.com/__geometrydev__/status/1784930707267256659?s=46&t=YF3kWkl7OH0h7BYXOAJ8eg
Fun fact: co-snarks are obtained from reversing the arrows on normal snarks
Description: cryo code to find all the deployed contracts that use the pairing precompile Amount: 100 USDC @bountybot
Ties into Justin Thaler’s observation that we focused as an industry on verifier-optimized tech because of it, while prover-optimized tech can be super meaningful