CipherStash Proxy keeps your sensitive data in PostgreSQL encrypted and searchable, without changing your SQL queries. It is written in Rust, uses a formally type-check SQL mapper and searchable encryption.