HaRoLd

Another option for the on-chain accumulator, where normal merkle proofs can be used, is to slowly build the new part of the tree to be appended while deleting old values...

What you're missing is that each storage update costs 20k gas, and each deletion refunds 15k gas. However, refunds are capped at 50% of the real gas cost. So if...

I have implemented a rough draft of an on-chain sparse incremental merkle mountain range... https://github.com/HarryR/ethsnarks/blob/ca40b9200ac1cbf2b8d8e8d5606f304e72141afa/appendix/immr.py This tracks the on-chain cost of storage & deletion as per the EVM rules. Example...

> beacuse if this is possible an attacker can deposit 1 coin and add hash X to the merkle tree. Hmm, ya I see the problem. You could mitigate against...

I think I may have already addressed this by using a separate hashing algorithm for the leaf of the tree versus the nodes of the tree, this creates separate domains....

Ahh, good spot. I looked at the go-ethereum source code and modified the function a little. It now matches this: https://github.com/ethereum/go-ethereum/blob/2433349c808fad601419d1f06275bec5b6a93ec8/core/vm/gas_table.go#L118

Building with msys/mingw might be easier: * https://github.com/IlyaFinkelshteyn/tpch-dbgen/blob/158092d05dc7fe827ae271107cade1e8f8a5f7f6/appveyor.yml * https://stackoverflow.com/questions/48500554/trouble-with-my-appveyor-windows-build-for-a-simple-c-project-on-github * https://cmake.org/cmake/help/v3.1/generator/MinGW%20Makefiles.html * https://stackoverflow.com/questions/46022210/how-to-configure-cmake-for-msys2 * https://www.scivision.co/windows-gcc-gfortran-cmake-make-install/ However, need to install the GMP and OpenSSL components via msys, or alternatively just...

I've got it almost building on appveyor using MSYS, but it runs into an error: ``` [ 22%] Built target ethsnarks_gadgets src/CMakeFiles/hashpreimage.dir/build.make:86: *** target pattern contains no '%'. Stop. make[1]:...

The previous build error has been fixed, this was due to `GMP::gmp-NOTFOUND` being used as a target name in a Makefile (even though it's found on OSX and Linux, so...

There is an implementation by Matter Inc - https://github.com/matterinc/sapling-crypto/blob/master/src/circuit/float_point.rs