sinu.eth
sinu.eth
This PR refactors hash commitments to be salted with randomness. I also refactored DualEx a little bit to clean up the structure and accomodate the new hash commitment api.
This PR tidies up GC a bit, moving states into a dedicated module and adds a new summary state. It also renames "label encodings" as requested by @themighty1 . Finally,...
This PR creates a new crate which consolidates some of the utility functions we use. I also implemented some helper traits for duplicate detection.
Rereading https://eprint.iacr.org/2019/1168.pdf it occurs to me that we never implemented the recommendation to randomly sample the initial gate id while garbling a circuit. We should do this to achieve multi-instance...
This PR decouples the GC message layer from data validation. I've introduced "unchecked" types which are structurally correct but have not been validated against a circuit specification. Note that I...
This PR implements factory implementations for KOS OT, as well as a couple small tweaks to KOS in mpc-aio.
Our current circuit model requires that all inputs and outputs be in little-endian and lsb0. It would be more ergonomic to allow the user to specify this, rather than forcing...
Doing a brain dump here, this will potentially be refined over time as I find more bandwidth to ponder ahead on these topics. ## Overview In most applications of our...
Our dual execution implementation does not salt the commitment to `OutputCheck`, we should do that. https://github.com/tlsnotary/tlsn/blob/54021b8ba0ed833f0b23046d2fa18342f9be482b/mpc-core/src/garble/exec/dual.rs#L41-L45
With OT extension + Beaver derandomization we are able to do one big setup for all the OTs we require during the execution of the protocol. Because there will be...