Implement G(X), K(X) optimized computation following Claim 4.5

privacy-scaling-explorations / sonobe

Experimental folding schemes library

https://privacy-scaling-explorations.github.io/sonobe-docs/

MIT License

208 stars 55 forks source link

Implement G(X), K(X) optimized computation following Claim 4.5 #43

Open arnaucube opened 11 months ago

arnaucube commented 11 months ago

Implement the more efficient (than the current one) computation of $G(X), K(X)$ described in the Claim 4.5 from ProtoGalaxy (https://eprint.iacr.org/2023/1106).