Hey everyone, this has been a niche research topic in our ecosystem for sometime and we believe it could add value to the ecosystem
It features: Private transfers, shielded custody and Groth16 proof verification running natively in Motoko on the Internet Computer.
The repository includes a native BLS12-381 Groth16 verifier, shielded notes, nullifiers, historical Merkle roots, recoverable deposits and withdrawals, ICRC integration, browser side proving, stable memory recovery, deterministic testing, and a documented computational PIR implementation for private synchronization.
This is a research project. It is intended to be read, challenged, tested and improved by the community.
One area where we are particularly inviting collaboration is the trusted setup ceremony. The repository documents our current policy and makes it clear that a proper multi party ceremony is required before any production deployment.
If you have experience in zero knowledge systems, applied cryptography, MPC ceremonies, Motoko, Rust, Arkworks, formal verification or security auditing, we would welcome independent contributors and reviewers.
If you are interested in helping design and participate in the ceremony, or contributing to the protocol itself, the research team will respond here.
Shielded Ledger is being developed as the privacy layer for Menese Protocol, with the long term goal of allowing assets across multiple blockchains connected through Menese infrastructure to move into shielded state while preserving their native settlement.
Repository: