Hello,
Sounds to me like you're looking for nat64. No built in support is
available afaik, but http://ecdysis.viagenie.ca/ provides a netfilter
module.
Alternately, there seems to be a stateless program which does the same
thing via a TUN interface:
http://www.litech.org/tayga/
This solutions seems superior to the ecdysis kernel module because
* stateless
* no out-of-tree kernel code with concurrency issues
* while it's userland code, I don't expect to have much traffic
* it can support multiple IPv4 networks on one system
(we have customers with overlapping RFC1912 address ranges)
* more flexible deployment
--
-- Matthias Urlichs