phanerozoic
/

tiny-mod5-verified

threshold_network

formal-verification

modular-arithmetic

threshold-network

Model card Files Files and versions

tiny-mod5-verified / model.py

Commit History

Initial commit: verified MOD-5 threshold circuit

278368f
verified

phanerozoic commited on 2 days ago