Open maramihali opened 2 months ago
Right now they're tailored for the circuits usecase rather than recursive verifiers.
Right now they're tailored for the circuits usecase rather than recursive verifiers.