Shumo Chu
Shumo Chu
Work in process - experimental branch on synthesize preconditions
We should be able to find the Coq proof for the following query. Essentially A UNION ALL EMPTY = A. There are various ways of implementing that, though. ``` schema...
To make ark-plonk more useful, It would be nice to have a gadget library. (It should be a separate repo for the gadget library in my view). The gadget library...
# Commitment Gadget Design ## Goal Make a commitment gadget library based on `ark-plonk`. ## Initial Design We still need those features: - A two-to-one hash: - candidate 1: Poseidon...
## Description This PR implements an incremental merkle tree data structure. This is an append only merkle tree that only maintains `Log N` internal nodes. An invariant this implementation tries...
As we are building manta (https://github.com/Manta-Network), we figured out that we need an incremental merkle tree that has `Log N` internal nodes, which is not supported in the current MerkleTree...
The first production MantaPay version.
Currently, the unit test of `manta-pay` requires computing private coin on the fly. We can improve the CI time by using pre-computed coins. This will weaken the `fuzzer` perspective of...
In a typical CI benchmark run, `pallet-collective` takes about half an hour. We should investigate whether this half an hour is truly deserved (well could be) or not.
user: hellox (Manta Network 中文官方群）  rustc 1.61.0 (fe5b13d68 2022-05-18) Windows 10 professional 21H2 9044.1806