mirror of https://github.com/enricobottazzi/zk-fhe.git synced 2026-01-09 05:08:04 -05:00

Go to file

enrico.eth 110e54f98e Feature/init (#1 )

* feat: add `poly_utils` and `poly_operations`

* fix: `poly_operations`

* feat: added `bfv` example compatible with halo2 scaffold

* feat: add `bfv.rs` circuit

* chore: add instructions to `bfv` circuit

* chore: add further instructions

* chore: update guidance

* chore: fix guidance

* fix: degree of `e1`

* feat: add input data

* chore: remove `poly_utils.rs` and ark dependencies

* feat: update `bfv` example

2023-10-01 21:13:50 +09:00

data

Feature/init (#1 )

2023-10-01 21:13:50 +09:00

examples

Feature/init (#1 )

2023-10-01 21:13:50 +09:00

src

Feature/init (#1 )

2023-10-01 21:13:50 +09:00

.gitignore

Feature/init (#1 )

2023-10-01 21:13:50 +09:00

Cargo.toml

Feature/init (#1 )

2023-10-01 21:13:50 +09:00

LICENSE

Initial commit

2023-09-25 08:43:29 +02:00

README.md

Feature/init (#1 )

2023-10-01 21:13:50 +09:00

rust-toolchain

Feature/init (#1 )

2023-10-01 21:13:50 +09:00

README.md

zk-fhe

Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme

Implementation based on Revisiting Homomorphic Encryption Schemes for Finite Fields

The application is not production ready and is only meant to be used for educational purposes.

cargo run --example bfv -- --name bfv -k 14 mock

The input data is located in the data folder. This file can be generated using rlwe-py