Efficient non-native SNARK recursion using bivariate polynomial testing by Ivo Kubjas | Devcon SEA | Ethereum Foundation | Podwise