According to Techub News, according to CoinDesk, the development team of Bitcoin L2 Rootstock and Fairgate said that they have successfully achieved a technical breakthrough in interactive verification of SNARK proofs.
The Rootstock team said the breakthrough represents a significant advancement in the BitVMX proof system, demonstrating the ability to challenge and verify SNARK verifier execution on-chain. This breakthrough could pave the way for the Bitcoin network to adapt to faster and cheaper second-layer networks with programmability similar to Ethereum. Zero-knowledge SNARK is a powerful cryptographic technique that allows knowledge to be proven without leaking information and without the need for prover and verifier interaction.