mpz

mpz copied to clipboard

This PR adds a banner image for mpz. It also adjusts the README to use lowercase for `mpz` in the header and removes the tlsn banner image. [Rendered](https://github.com/privacy-scaling-explorations/mpz/blob/doc/banner/README.md)

sinui0

'simd-transpose' does not work on arm64 architecture

1

``` cargo test --features simd-transpose ``` results in: ``` ... Compiling matrix-transpose v0.1.0 (/Users/heeckhau/tlsnotary/mpz/matrix-transpose) error[E0432]: unresolved import `super::LANE_COUNT` --> matrix-transpose/src/simd.rs:1:29 | 1 | use super::{TransposeError, LANE_COUNT}; | ^^^^^^^^^^ no `LANE_COUNT`...

heeckhau

Run CI-tests with and without "simd-transpose"

3

The CI tests currently only run with "simd-transpose" disabled. We should also run the build/test with "simd-transpose" enabled. See also https://github.com/tlsnotary/mpz/pull/27#pullrequestreview-1527795809

heeckhau

The current API requires some mappings and conversions which should be encapsulated and exposed. For example currently you have to do [this](https://github.com/tlsnotary/tlsn/blob/a2334ee94afe410dec7aa88c5f92bb1c93183735/tlsn/tlsn-core/tests/api.rs#L55C1-L61) which is a bit cumbersome.

th4s

heeckhau

The README should be updated to mention that this lib provides malicious security with 1-bit info leakage. (maybe also explain that it is leakage of a predicate with 1/2^-n probability...

themighty1

Fully integrate `itybity`

1

In various parts of the codebase we convert types to `Vec` this is quite inefficient. Rather, we should adopt the traits in `itybity` which facilitate iterating over the bits of...

sinui0

Adapt replay protocol for malicious security of share-conversion

2

Modify the [current implementation](https://github.com/tlsnotary/tlsn/blob/dev/mpc/share-conversion-aio/src/gf2_128/recorder.rs#L44-L72) so that each individual OT choice is checked for correctness. Currently only the end result is checked. Furthermore add a commitment to the sender's rng seed,...

th4s

I'm still working on grokking these newer VOLE-based IZK protocols, but wanted to jot this down before I forget. No idea if it is sound. In the [Quicksilver](https://eprint.iacr.org/2021/076.pdf) paper: ...

sinui0

The current replay functionality added by tlsnotary/tlsn#131 allows to detect malicious behavior of the sender. However, we need a thorough analysis if the current implementation is sufficient. This involves to...

th4s