gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
The challenge hashing in Groth16 Solidity verifier uses abi.encodePacked which is gas inefficient and may be deprecated in the future. It would be better to manually align the inputs in assembly.
The challenge hashing in Groth16 Solidity verifier uses
abi.encodePackedwhich is gas inefficient and may be deprecated in the future. It would be better to manually align the inputs in assembly.