aleo-varuna

Varuna is Aleo's zkSNARK, a variant of Marlin: a universal, updatable-SRS proof system over the pairing-friendly BLS12-377 curve, built on KZG polynomial commitments. It hashes with Poseidon over the BLS12-377 scalar field, both inside circuits and for its Fiat-Shamir transcript, and pairs with an embedded twisted Edwards curve (Edwards BLS12-377) for in-circuit elliptic-curve operations. Poseidon is the cross-ecosystem hook here, instantiated over Aleo's own field rather than as one shared function: it is the same hash family that Zcash, Filecoin, Starknet, Mina, and Penumbra expose over their respective fields, a conceptual equivalence the parity harness cannot run.