phanerozoic
/

tiny-mod7-verified

threshold_network

formal-verification

modular-arithmetic

threshold-network

Model card Files Files and versions

tiny-mod7-verified

7.9 kB

1 contributor

History: 2 commits

phanerozoic's picture

Initial commit: verified MOD-7 threshold circuit

25d9c47 verified 3 days ago