Add benchmarks and optimizations

zkFold / zkfold-cardano

zkFold: Cardano integration library

https://zkfold.io

MIT License

6 stars 0 forks source link

Closed vlasin closed 4 months ago

vlasin commented 8 months ago

[x] Add benchmarks for the UPLC code of the Plonk verifier (plonkVerifier function)
[x] Add benchmarks for the UPLC code of the zkFold Symbolic contract (symbolicVerifier function)
[x] Implement and test algorithmic optimizations from the Plonk verifier reference implementation.