Similar repositories to BoltonBailey/formal-snarks-project:

• BoltonBailey/formal-snarks-project github similar
• danistefanovic/build-your-own-x github similar
• paradigmxyz/reth github similar
• matter-labs/compiler-solidity github similar
• ReactTraining/react-router github similar
• meilisearch/MeiliSearch github similar
• trufflesuite/ganache-cli github similar
• l-henri/starknet-cairo-101 github similar
• mmaller/vdf_snark github similar
• kobigurk/cpsnarks-set github similar
• vincenthuang75025/zkxzk github similar
• zhenfeizhang/pasta-solidity github similar
• micahflee/onionshare github similar
• zhenfeizhang/indifferentiable-hashing github similar
• ddkang/zkml github similar
• geometryresearch/cq github similar
• timoth-y/spy-pets github similar
• lambdaclass/lambdaworks github similar
• lyronctk/zator github similar
• eigen-trust/protocol github similar
• timoftime/spy-pets github similar
• renegade-fi/renegade github similar
• zkoranges/zkPoEX github similar
• hecrj/iced github similar
• nmohnblatt/zk-jargon-decoder github similar
• openzklib/openzl github similar
• w3f/fflonk github similar
• nikkolasg/halo2-circuits github similar
• polymerdao/plonky2-solidity-verifier github similar
• 0xinugami/aztec-lido-bridge github similar
• vorot93/fastrlp github similar
• poma/zkutil github similar
• geometryresearch/mental-poker github similar
• gakonst/evm github similar
• nikkolasg/snarkpack github similar
• wborgeaud/ecfft-bn254 github similar
• zeropoolnetwork/fawkes-crypto github similar
• zcash/sapling-security-analysis github similar
• DrPeterVanNostrand/halo2-merkle github similar
• zcash/orchard github similar