Izaak Meckler
Izaak Meckler
Are the cuckoo filters implemented in this library resistant to adversarial attempts to induce false positives on chosen elements as described [in this paper](https://eprint.iacr.org/2015/543.pdf)? Thanks for reading and thank you...
When running a 'type of' query which returns a type whose size exceeds the status line limit, merlin does not open a type history window to display the type in....
The barretenberg library implements [a version of the pippinger algorithm](https://github.com/AztecProtocol/barretenberg/blob/f45c27ecd70a3c5607cf30ad5e36bcb4b7385b6d/barretenberg/src/aztec/ecc/curves/bn254/scalar_multiplication/scalar_multiplication.cpp#L901) that combines the two techniques of batch affine operations and the use of a curve-endomorphism (for fields that have a...
We could defer computing inverses in the witness (for computing EC ops) and batch compute them at the end.
I ran ``` ./src/ExtractionOCaml/word_by_word_montgomery pasta_fp 64 '2^254 + 45560315531419706090280762371685220353' --no-wide-int ``` and got output containing the function ```c /* * The function fiat_pasta_fp_mulx_u64 is a multiplication, returning the full double-width...
This PR removes gamma from the Groth16 implementation (or put another way, it sets gamma equal to one). The benefit is that it makes the verification key one G2 element...
Comping with mixed-addition (as enabled by the USE_MIXED_ADDITION CMake flag) causes the Groth16 prover to segfault. One can reproduce by running the following: ```bash mkdir build && cd build cmake...
This PR implements a gadget for verifying Groth--Maller 17 SNARKs (r1cs_se_ppzksnark). To do so, it does the following: - Changes the r1cs_se_ppzksnark verification key to contain e(G_alpha, H_beta) - Adds...
Hi, the readme claims that libsnark should build on OS X, but I've had a lot of trouble. First, I just symlinked openssl headers into the expected location with ```bash...
In short, `r1cs_gg_ppzksnark_affine_verifier_weak_IC` and `r1cs_gg_ppzksnark_online_verifier_weak_IC` do not agree with each other. ## How to reproduce The easiest way to see this is to edit `zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark/tests/test_r1cs_gg_ppzksnark.cpp` to use mnt6 as follows....