phanerozoic
/

tiny-mod7-verified

threshold_network

formal-verification

modular-arithmetic

threshold-network

Model card Files Files and versions

tiny-mod7-verified / model.py

Commit History

Initial commit: verified MOD-7 threshold circuit

25d9c47
verified

phanerozoic commited on 2 days ago