32 Repositories
helios
2175
halmos
1028
jolt
1017
awesome-farcaster
818
zkdrops
765
magi
637
nft-analyst-starter-pack
460
auction-zoo
354
cicada
326
zkdocs
309
a16z-contracts
287
erc4626-tests
222
metamorphic-contract-detector
165
farcaster-py
134
eth-testnet-drop
129
evm-powers-of-tau
104
halmos-cheatcodes
72
zkvm-benchmarks
64
crypto-governance
49
zkp-merkle-airdrop-lib
49
zkp-merkle-airdrop-fe-ex
35
vectorized-fields
34
jsi
30
crypto-ecosystems
27
nft-sleep-mint-forta-agent
13
dory
10
hachi
9
rust
7
arkworks-algebra
6
Spartan2
5
crypto-primitives
2
yices-solver
2