Michael Rosenberg
Michael Rosenberg
siderophile will currently output something like ``` as AsyncRead>::initializer ``` The lifetime `'a` should not be present, and there should be a space between `mut` and `T`.
`siderophile` naively looks for "src" occurring in the current Rust file path, and will sometimes overshoot the actual crate root. This sometimes gives output like ``` unsafe expr in function...
Some simple `Vec` implementations for some traits. I needed these when I needed to make a CRH with `OutputVar = Vec` ([`OutputVar` constraints](https://github.com/arkworks-rs/crypto-primitives/blob/main/src/crh/constraints.rs#L11-L15)). --- Before we can merge this PR,...
## Description This fixes the Pedersen padding bug #76. To do this, I simply pad the input _bits_ rather than _bytes_, so that the padding length check succeeds. I've also...
There's a check that's done in the constraints impl of Pedersen CRH and commitment that appears [here](https://github.com/arkworks-rs/crypto-primitives/blob/main/src/commitment/pedersen/constraints.rs#L74) and [here](https://github.com/arkworks-rs/crypto-primitives/blob/main/src/crh/pedersen/constraints.rs#L65). It asserts that `padded_input.len() * 8 == W::WINDOW_SIZE * W::NUM_WINDOWS`. In...
Currently, it's not possible to use `PathVar::new_witness` for a placeholder `PathVar` in the `merkle` module. The reason why is that it takes in a `Result` instead of something more like...
From the README: This crate defines some helper functions for the generation of arithmetic output labels for garbled circuits. Specifically, this crate will generate output labels, sorted by point-and-permute, such...
We spoke about creating a set of traits which let a caller run complicated OT+MPC protocols without having to know anything other than their function input and the network socket...
Added a WIP draft of the AUTHDECODE protocol to discuss here. [Rendered](https://github.com/rozbb/tlsn/blob/authdecode/docs/authdecode.md) > This document describes a protocol that runs after a garbled-circuit two-party computation, that allows the receiver to...
Adversary terms don't have correct spacing when used in text mode. There's no space to the right of them: This PR puts an `\xspace` after the term. As a result,...