zero-chain

zero-chain copied to clipboard

Take a note of "Signatures of Correct Computation"

1

[Signatures of Correct Computation](https://eprint.iacr.org/2011/587.pdf) In PVC, a “proof of correct computation” is tied to a specific challenge, and can only be verified by the client who has generated that challenge...

osuketh

Support for multi-sig/threshold signature scheme

4

It would be a group-based style. Public group key is used as an accountId.

osuketh

Use a `Polynomial` type instead of `Vec<E::Fr>`

3

Operations over polynomial and commitment would be changed because of the new type definition. https://github.com/LayerXcom/zero-chain/blob/d866d2e469ff4c9ee3b58db061fe25e71fbd765f/core/sonic/src/polynomials/mod.rs#L6

osuketh

This is an experimental work for MuSig adopted to RedDSA on jubjub. #91

osuketh

Avoid duplication of code. coefficients vector `coeffs` can be reused to polynomial commitment. https://github.com/LayerXcom/zero-chain/blob/fc5891311d801e9ee4e81201199071f5d5a989b8/core/sonic/src/helped/prover.rs#L71-L75 https://github.com/LayerXcom/zero-chain/blob/fc5891311d801e9ee4e81201199071f5d5a989b8/core/sonic/src/helped/prover.rs#L96-L101

osuketh

https://github.com/LayerXcom/zero-chain/blob/864bcfdeae930e555c7fc4ddffafa198380406c0/core/sonic/src/poly_comm.rs#L36

osuketh

Avoid infinite loop used in `challenge_scalar()` in transcript https://github.com/LayerXcom/zero-chain/blob/3177cd631b7048faed34cef0fbca53bad0c15571/core/sonic/src/transcript.rs#L30

osuketh

Integrate with SONIC proof system

2

Implement SONIC as experimental work. paper: https://eprint.iacr.org/2019/099.pdf code: https://github.com/zknuckles/sonic, https://github.com/matter-labs/bellman/tree/sonic/src/sonic

osuketh

The hash function of the Merkle tree will be Pedersen hash.

osuketh

Add conf_whitelist module

1

Instead of storing the whitelisted accounts in on-chain, it is stored in off-chain as a Merkle tree by the specific asset maintainer. In order to ensure the validity for the...

osuketh