32 Repositories
helios
2124
halmos
971
jolt
938
awesome-farcaster
818
zkdrops
765
magi
647
nft-analyst-starter-pack
466
auction-zoo
356
cicada
327
zkdocs
310
a16z-contracts
284
erc4626-tests
199
metamorphic-contract-detector
165
farcaster-py
138
eth-testnet-drop
130
evm-powers-of-tau
105
halmos-cheatcodes
70
zkvm-benchmarks
64
crypto-governance
50
zkp-merkle-airdrop-lib
49
zkp-merkle-airdrop-fe-ex
35
vectorized-fields
34
crypto-ecosystems
27
jsi
26
nft-sleep-mint-forta-agent
13
rust
7
Spartan2
5
dory
5
hachi
4
arkworks-algebra
4
yices-solver
2
crypto-primitives
1