Juvix empowers developers to write code in a high-level,
functional language, compile it to gas-efficient output
VM instructions, and formally verify the safety of their
contracts prior to deployment & execution.
The multi-asset shielded pool (MASP) is an open-source library written in Rust for fully shielded privacy-preserving token transfers.
PLONK/plookup is the state-of-the-art in universal zk-SNARKs, creating a verifiable proof of the correctness of a small computation even when some of the input data must remain private.