Researchers identify key circuit layer vulnerabilities in SNARK systems