29 Repositories
helios
1917
halmos
846
awesome-farcaster
772
zkdrops
758
jolt
721
magi
612
nft-analyst-starter-pack
462
auction-zoo
346
cicada
316
zkdocs
311
a16z-contracts
278
erc4626-tests
175
metamorphic-contract-detector
161
farcaster-py
129
eth-testnet-drop
128
evm-powers-of-tau
102
halmos-cheatcodes
60
zkvm-benchmarks
58
crypto-governance
50
zkp-merkle-airdrop-lib
49
zkp-merkle-airdrop-fe-ex
35
vectorized-fields
30
crypto-ecosystems
26
nft-sleep-mint-forta-agent
13
jsi
7
rust
6
Spartan2
3
crypto-primitives
1
arkworks-algebra
1