libsnark
libsnark copied to clipboard
scipr-lab
C++ library for zkSNARKs
As mentioned in the email, I'm trying to work on the formal verification (in Coq, presumably) of your SNARKs paper. My first step would be to verify the correctness of...
Does the zk-SNARK implemented in libsnark meet the definition of Commit-and-prove SNARKs? What commitment strategy does he use?
Recently, downloading and running this repository has resulted in a 'Floating point overflow (core dumped)' error due to an update in the dependency 'xbyak'.
Hello While looking through your docs I found and fixed several spelling issues. Br, Elias.
Hello, I am interested in using libsnark on bare metal devices, specifically ARM Cortex-M microcontrollers. I would like to inquire whether libsnark currently supports it or if there are any...
