Machina iO ("mah-kin-ah") a project within PSE, aims to move iO from theory to practice. We publish papers and write code.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Machina iO
Popular repositories Loading
- diamond-io
diamond-io Public archiveDiamond iO implementation https://eprint.iacr.org/2025/236
- arithmetic-abe
arithmetic-abe PublicArithmetic ABE(Attribute based encryption) based on CRT representation of BGG+ encoding using public lookup table
- openfhe-development
openfhe-development PublicForked from openfheorg/openfhe-development
This is the development repository for the OpenFHE library. The current (stable) version is v1.2.4 (released on March 21, 2025).
C++ 1
- VCVio
VCVio PublicForked from Verified-zkEVM/VCVio
A Lean library for machine-checked cryptographic proofs.
Lean 1
Repositories
- VCVio Public Forked from Verified-zkEVM/VCVio
A Lean library for machine-checked cryptographic proofs.
Uh oh!
There was an error while loading. Please reload this page.
MachinaIO/VCVio's past year of commit activity - website Public
Uh oh!
There was an error while loading. Please reload this page.
MachinaIO/website's past year of commit activity Uh oh!
There was an error while loading. Please reload this page.
MachinaIO/diamond-io's past year of commit activity - arithmetic-abe Public
Arithmetic ABE(Attribute based encryption) based on CRT representation of BGG+ encoding using public lookup table
Uh oh!
There was an error while loading. Please reload this page.
MachinaIO/arithmetic-abe's past year of commit activity - openfhe-rs Public Forked from fairmath/openfhe-rs
OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/
Uh oh!
There was an error while loading. Please reload this page.
MachinaIO/openfhe-rs's past year of commit activity - openfhe-development Public Forked from openfheorg/openfhe-development
This is the development repository for the OpenFHE library. The current (stable) version is v1.2.4 (released on March 21, 2025).
Uh oh!
There was an error while loading. Please reload this page.
MachinaIO/openfhe-development's past year of commit activity Uh oh!
There was an error while loading. Please reload this page.
MachinaIO/lattice-estimator-cli's past year of commit activity - .github Public
Uh oh!
There was an error while loading. Please reload this page.
MachinaIO/.github's past year of commit activity
Top languages
Loading…
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.