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
Choose an application or integration to explore. These projects maintain their own setup instructions, supported features, and Poulpy dependency versions.
Projects and integrations
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.
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.
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.
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.
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.
Research
Academic work that builds on, extends, evaluates or compares against Poulpy or works based on Poulpy.
Implements a new approximate scheme with shaped rounding and native bootstrapping on poulpy-hal, poulpy-core, and poulpy-ckks, and evaluates it against sparse CKKS at ring degree 2¹⁵.
Code ↗Implemented with OpenFHE. Its encrypted program benchmark compares against Phantom running on Poulpy’s FFT64Avx backend.
Takes Poulpy’s LMK+ implementation as a basis for thresholdization. The Poulpy team plans a reference implementation of thresholdized LMK+ (Th-FHEW) for the package submission.