Wei Dai

icon indicating a website link http://wdai.us icon indicating an email [email protected]

icon company 1kx icon location San Diego icon location Research Partner @ 1kx. Cryptographer.

Results 4 issues of Wei Dai

Use of Ferveo for Threshold Signatures and Light Clients

2 comment

I'm not sure if the following has been discussed or proposed, but I'm putting this into an issue here so we can have a place to discuss things related to...

prio:low

`UInt32` trait, SHA256 implementation, `from_const` for `Wires`, and others

This PR adds * A preliminary `UInt32` trait * A naive implementation of `UInt32` from `Boolean` * An implementation of SHA256 that is generic over UInt32 * `from_const` function for...

Reduce witness gen code bloat by supporting runtime witness gen loops

## Problem Currently, repeated circuit components incur large witness generation code. This is because there is a separate line of rust statement invoking the witness generator for each circuit component...

Allow `Wire`s to be instantiated from constants

## Problem Currently, there is no notion of constant wires in RCC traits. In `AlgWire` trait, we directly support operation of `Wire` against other constant values. This behavior is rather...