$ZK & $VFY ¿mismo proyecto?

primero zksync y segundo zkvarify dime