A place for developers to talk about building on Farcaster.

/dev

https://github.com/a16z/halmos

Banger toolkit for static analysis for smart contracts.

@ncitron.eth is the person responsible for this on fc?

building open source public goods @a16zcrypto

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

/opacity

and

/eulerlagrange

@sumaa can you take for a spin on the dydx contracts?😂

dydx is a cosmos chain, no evm smart contracts - but i might just have something to test this on