phanerozoic
/

tiny-mod5-verified

threshold_network

formal-verification

modular-arithmetic

threshold-network

Model card Files Files and versions

tiny-mod5-verified

12.3 kB

1 contributor

History: 2 commits

phanerozoic's picture

Initial commit: verified MOD-5 threshold circuit

278368f verified 2 days ago