ethsnarks
ethsnarks copied to clipboard
HarryR
A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop
Hello, after generating keypair, I am trying to store pk and vk into file and users can prove or verify by using pk_file or vk_file. Everything works with vk but...
Hi, HarryR I found the point compression code is inconsistent with the doc description, so I make some change based on https://ed25519.cr.yp.to/eddsa-20150704.pdf. changes are: > specifically, x is negative if...
I'm new to the zk-snarks world, still trying to figure out how everything works. I would like to generate a proof of pre-image using SHA256 and an arbitrary sized input....
As per: https://gist.github.com/HarryR/a142d8ea442be7c05bf6c5edd0d8c488 Kobi has implemented EVM contract, JS library and constraints for 'MiMCsponge', which uses MiMC in Feistel mode with a sponge-like construct.
So we can do something like `FQ(...).primitive_root(5)` which will return a primitive 5th root of unity in the field. There are situations where there may not be a `n-th` root...
For example, the `from_y_always` is agnostic to the hashing algorithm which is first used to derive a field element. However, it does this by incrementing the coordinate until a point...
``` luser@luser-PC ~/Projects/ethsnarks/build $ make Scanning dependencies of target ff [ 1%] Building CXX object CMakeFiles/ff.dir/depends/libsnark/depends/libff/libf f/algebra/curves/alt_bn128/alt_bn128_g1.cpp.obj [ 2%] Building CXX object CMakeFiles/ff.dir/depends/libsnark/depends/libff/libf f/algebra/curves/alt_bn128/alt_bn128_g2.cpp.obj [ 3%] Building CXX object CMakeFiles/ff.dir/depends/libsnark/depends/libff/libf...
The repository is huge because it contains a lot of testing data. Instead - download the json all-in-one file and include in repository
https://github.com/scipr-lab/libfqfft/pull/12