The
verification
took
place
on
Bitcoin’s
mainnet
on
Thursday,
having
been
completed
in
a
testnet
environment
the
day
before.
“The
development
represents
a
major
leap
forward
for
the
BitVMX
proving
system,
demonstrating
the
ability
to
challenge
and
validate
the
execution
of
a
SNARK
verifier
on-chain,”
Rootstock’s
team
said
in
an
emailed
statement
on
Thursday.
“This
breakthrough
opens
the
door
for
replicating
this
process
with
any
program
compiled
to
the
RISC-V
architecture,
utilizing
BitVMX’s
general-purpose
virtual
CPU.”
CORRECTION
(July
26,
19:00
UTC):
Corrects
fourth
paragraph
to
say
the
verification
took
place
on
Bitcoin’s
mainnet
instead
of
Rootstock’s