Daira-Emma Hopwood
Daira-Emma Hopwood
Brief Description: Zcash is a Bitcoin-like cryptocurrency that uses zero-knowledge proofs for anonymity: https://z.cash The launch of the actual currency is planned for September 2016 but there's currently a testnet....
https://github.com/bitcoin/bitcoin/blob/9faa4b68db80a4a5c1f5a4e0484d804d7b5e1493/src/consensus/tx_verify.cpp#L21 : ``` if (tx.nLockTime == 0) return true; if ((int64_t)tx.nLockTime < ((int64_t)tx.nLockTime < LOCKTIME_THRESHOLD ? (int64_t)nBlockHeight : nBlockTime)) return true; ``` https://developer.bitcoin.org/devguide/transactions.html#non-standard-transactions : > As of Bitcoin Core 0.9.3,...
Split from #548: Since we're doing multiple multiexps with the same bases we can perform some precomputation steps on the bases (at the expense of some memory). Details: based on...
In #354, the support for non-constant tables, i.e. where some of the columns of the table are advice columns, was removed. This was a limitation we accepted partly to simplify...
According to the thread starting [here](https://twitter.com/yezhang1998/status/1547068196783476736), this overhead is significant for large k. We could either: * try to reduce the degree of the polynomials r(X) generated in step 3...
https://github.com/zcash/halo2/blob/main/halo2_gadgets/src/poseidon/primitives/mds.rs needs documentation for which order the matrix is stored in, and a reference to the MDS generation algorithm in the [Poseidon 1.1 spec](https://github.com/daira/pasta-hadeshash/blob/master/code/poseidonperm_x5_pallas_3.sage). https://github.com/zcash/halo2/blob/main/halo2_gadgets/src/poseidon/primitives/mds.rs does not check against the...
Define the approximate dependency graph of a circuit to be the smallest undirected graph, with the non-fixed cells of the circuit as vertices, that connects: * all non-fixed cells used...
The implementation of the `process` function unnecessarily shadows `selector` here: https://github.com/zcash/halo2/blob/c12620c598a15f6686767b4cb6ba145396d6d4df/halo2_proofs/src/plonk/circuit/compress_selectors.rs#L147 and `i` here: https://github.com/zcash/halo2/blob/c12620c598a15f6686767b4cb6ba145396d6d4df/halo2_proofs/src/plonk/circuit/compress_selectors.rs#L161 This impedes getting variable names in the implementation to match the book (see #466) in...
Otherwise it looks like they're only assigning witness values. https://github.com/zcash/halo2/pull/428/files#r823712504