Fix import of poseidon-lite dependency#1

robknight wants to merge 3 commits intomainproofcarryingdata/semaphore:mainfrom

dep-fixproofcarryingdata/semaphore:dep-fixCopy head branch name to clipboard