* refactor gc state and add summary state
* more clean up and refactor
* rename encoding to decoding
* fix mpc-aio
* comments/documentation
* implement methods for summary state
* fix module doc
* comment fixes
Co-authored-by: themighty1 <you@example.com>
* WIP: Refactoring a2m/m2a...
* WIP: Refactor homomorphic subcrate...
* Implemented aio homomorph sender
* Removed integration test for now and renamed things
* Implemented homomorph aio receiver
* Improved API
* Rename crate homomorph -> share_conversion
* Rename errors and traits
* Migrated changes from branch `ghash-refactor-again`
* Improvements to share-conversion
- Renamed share_conversion to share-conversion
- Got rid of PhantomData for aio layer
* Improved variable naming and some doc
* Added aio unit tests and various improvements
- documentation
- variable naming
* Added TODO comment for OT integration test
* Added part of feedback
* Separated share-conversion into {share-converison-core, share-conversion-aio}
* Sample from NonZeroU128 for `random` in a2m
* misc comments and code simplifications
Co-authored-by: themighty1 <you@example.com>
* update gc validation and api
* extract label functions into label module
* more work on validation + input label reconstruction
* consolidate validation functionality
* aio traits, and testing
* comments and test
* PR feedback
Co-authored-by: themighty1 <you@example.com>
* Sender now needs to input `count` as his input for the number of OTs
- added test
- improved variable namings and doc
* Fix typo in error message
* comments
Co-authored-by: themighty1 <you@example.com>
* Added new APIs to create sender/receiver from seed
* Adapted KOS sender for OT commitments
* Added de-/commitments for sender
* Removed seed for receiver
* Removed committed OT functionality for standard KOS15
* Added core logic for committed OT
- Receiver can now invoke verify-function
- Tracking of offsets should work
* Bugfix in core logic
* First test for committed OT works
* Added another test for committed ot
* Added test for committed OT on split OTs
* Added traits for committed OT in mpc-aio
* Added mpc-aio test for committed OT and improved traits
* Added comments and improved API
* Added feedback for 1,3 and 5
1. Return OT cleartext values
3. Rename `decommit` -> `reveal`
5. Message is again consumed instead of passed by reference
* Added feedback for 2 and 4
- remove commitment type from traits
- salt sender commitment
* Remove old mutex approach
* Added AdaptiveBarrier
- made function `reveal` unsafe
- tidied up left-overs
* Added improvments for committed OT
- increment rng seed
- sender does not send cleartext values
* Splitting now works with committed OT
* Fixed sender offset when splitting
* initial work on hs
* export P256SecretShare
* move deps out of constructor
* reexport Circuit
* rename follower msgs
* session key shares
* initial work on prf
* more work on prf
* more work on prf
* reorder and rename c3 io
* P256Secretshare constructor and types
* more work on prf
* rename test
* remove test
* prf verify_data
* multithread test + bench
* delete obsolete handshake mod
* remove ref to hs mod
* cleaner error handling
* update error handling in circuits
* use input_value convenience function
* rebuild c3 and fix test
* WIP: Drafting API for OT
* Added implmentation of new OT API for sender
* WIP: Redesigning OT API
* WIP: added draft
* WIP: Reworking crate architecture
* Readded pa to defaults
* Tidied up and added some signatures
* Removed unnecessary dependencies for now
* Implement ObliviousSend for KOS15IOSender
* Added ObliviousSend for RandSetup
* Added Kos15IOReceiver and implemented ObliviousReceive
* Added first KOS15-aio test
Also added a DuplexStream for testing
* Finished adding KOS15 mpc-aio unit tests
* Removed kos15 aio implementation for standard extended OT
* work on muxer
* more work on muxer
* delete base ot and rename extension to kos
* relocate ot error
* change OT receive trait and add mock
* mock ot send
* rename mocks
* remove Protocol types from ot traits
* refactor duplex channel
* add static bound
* update kos
* Remove unnecessary test implementations due to improvements in
DuplexChannel Error
* Remove pin from channel
* move duplex to utils-aio
* refactor duplex channel to use futures instead of tokio
* move Channel trait to utils-aio
* update mpc-aio
* update kos to use utils-aio
* expose InputLabels constructor
* mock ot and wirelabels
* expose constructor
* delete obsolete examples
* remove dummy mod
* mock feature
* disable muxer test
* cargo cleanup
Co-authored-by: th4s <th4s@metavoid.xyz>
* WIP value types
* WIP gate specs
* visibility and dep
* update bin
* bytes type
* tidying
* update proto model
* update circuits
* parse bits
* update mpc-core
* scrap unused circuits
* change nonce and counter to 16 bits
* more work on circuit specs
* remove redundant sub circuit from c4
* gitignore bins
* drop invariant and add error diff
* gate invariant and comments
* topological sorting algorithm
* disable build specs
* reinclude circuit bins
* ignore dead_code
* disable bench while crate is wip
* Improvements for padding in KOS15
- Remove `self.padding` of KOS15Receiver
- Remove the entire padding after transposition for both sender and
receiver
* Adapted comment
