phanerozoic
/

tiny-mod7-verified

threshold_network

formal-verification

modular-arithmetic

threshold-network

Model card Files Files and versions

tiny-mod7-verified / config.json

Commit History

Initial commit: verified MOD-7 threshold circuit

25d9c47
verified

phanerozoic commited on 3 days ago