Update circuit to Nebula and test onchain verifier#1

Acentelles wants to merge 2 commits into

mainICME-Lab/radius-circuit:mainfrom

feat/onchain-verifierICME-Lab/radius-circuit:feat/onchain-verifierCopy head branch name to clipboard