2018-08-18 12:28:46 UTC
In other words, each curveâs field of definition is the scalar field of itâs predecessor, which makes recursive composition of SNARKs not totally insane:
Iâd think youâd want to explore a lot of possible optimisations beyond that paper before trying to use something like this, so maybe someone has tried?
In practice, Iâm unsure if recursively composed SNARKs really give you much since, if you want to add a SNARK layer, then you still need access to some large database, but.. that discussion might veer off topic for here.
p.s. Weâre hiring cryptographers at the web 3 foundation : https://web3.foundation/jobs