Phantom
Execute encrypted RISC-V programs on encrypted inputs, keeping instructions, constants, and state hidden.
For private program execution. Start with the upstream template and its toolchain setup.
Poulpy ecosystem
Projects built
with Poulpy.
Choose an application or integration to explore. These projects maintain their own setup instructions, supported features, and Poulpy dependency versions.
Projects and integrations
Current projects.
poulpy-libm
Evaluate familiar mathematical functions on encrypted numbers with CKKS and Remez approximation planning.
For CKKS function evaluation. Check approximation intervals, target error, and the Poulpy revision selected by the project.
poulpy-pir
Query database records privately with the InsPIRe protocols. Includes eth-pir for private Ethereum token balance lookups and a browser demo for USDT and USDC.
Start with the protocol library, then explore the Ethereum integration and local demo. Review database preprocessing, communication costs, protocol assumptions, and the demo’s data/backend setup.
HEIR
Compile encrypted computations to Poulpy Rust code through an MLIR-based FHE compiler.
For compiler implementors. The general HEIR tutorial introduces the toolchain; confirm the Poulpy target’s lowering and generated-code dependencies in its source.
squid
Use encrypted integer arithmetic from Rust, a browser, or Node through WebAssembly and native bindings.
For Rust, browser, and Node applications. Supported integer types, bindings, and dependency versions are defined by Squid, independently of the core library.