Curious what the status is on the Catalyst Fund3 proposal from @wunderbaer and colleagues, as I am an enthusiast in ADA and general formal methods. With the completion of smart contracts in the Alonzo era of its development, I am curious if anyone’s began planning and/or development.
One crucial feature that is needed is anonymous staking, ideally in a wallet like Daedalus from IOHK that is already established within the ADA community. Is there any interest in this?