Offshift 2.0 Roadmap.
This release includes support for arbitrary hidden amounts and anonymous transfers within a shared and privately verified network state. Program execution occurs within the compiled Noir circuit, and then a proof is generated in Nargo (using the UltraPLONK proving scheme). Finally, verification is performed with a Solidity verifier contract on the Sepolia network, which stores relevant state information.
Users can interact with the testnet by cloning the Momiji Sepolia repo from the Offshift GitLab and following the instructions in the documentation. In this version of the testnet, a single circuit is used to generate both deposit and withdrawal proofs.
In the deposit/batch publication, the program proves the following:
In the withdrawal/transfer, the program proves the following:
The testnet application privately generates proofs of valid state transition on Sepolia, then verifies that a user’s deposit is within the global Pedersen-hashed Merkle state tree and publishes verifiable results, all without leaking any sensitive information, and allows users to to perform test transfers on Sepolia.
In this version of the testnet, users can interact with the protocol without depositing any ETH or testnet tokens, only needing testnet ETH for the transaction fee. You can get Sepolia ETH from the Alchemy faucet or any other Sepolia ETH faucet. Withdrawals will generate testnet tokens specific to this release.
The testnet contract code has been verified and is available on Etherscan below:
If you have feedback or questions about the testnet, come by the Offshift Telegram and chat with the team, and be sure to follow Offshift on Twitter for all the latest as we build out Offshift 2.0.