File tree Expand file tree Collapse file tree 2 files changed +29
-0
lines changed
hybrid-cloud-poc/mobile-sensor-microservice/zkp-prover-plonky2/src Expand file tree Collapse file tree 2 files changed +29
-0
lines changed Original file line number Diff line number Diff line change 1+ // Copyright 2025 AegisSovereignAI Authors
2+ //
3+ // Licensed under the Apache License, Version 2.0 (the "License");
4+ // you may not use this file except in compliance with the License.
5+ // You may obtain a copy of the License at
6+ //
7+ // http://www.apache.org/licenses/LICENSE-2.0
8+ //
9+ // Unless required by applicable law or agreed to in writing, software
10+ // distributed under the License is distributed on an "AS IS" BASIS,
11+ // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12+ // See the License for the specific language governing permissions and
13+ // limitations under the License.
14+
115//! Geofence ZKP Circuit using Plonky2
216//!
317//! Proves that a private location (lat, lon) is within a public radius
418//! of a public center point, and that the sensor ID matches a public hash.
519
620use anyhow:: Result ;
21+
722use plonky2:: field:: types:: Field ;
823use plonky2:: iop:: target:: Target ;
924use plonky2:: iop:: witness:: { PartialWitness , WitnessWrite } ;
Original file line number Diff line number Diff line change 1+ // Copyright 2025 AegisSovereignAI Authors
2+ //
3+ // Licensed under the Apache License, Version 2.0 (the "License");
4+ // you may not use this file except in compliance with the License.
5+ // You may obtain a copy of the License at
6+ //
7+ // http://www.apache.org/licenses/LICENSE-2.0
8+ //
9+ // Unless required by applicable law or agreed to in writing, software
10+ // distributed under the License is distributed on an "AS IS" BASIS,
11+ // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12+ // See the License for the specific language governing permissions and
13+ // limitations under the License.
14+
115//! ZKP Prover CLI for Geofence Verification
216//!
317//! This binary provides a CLI interface for generating and verifying
You can’t perform that action at this time.
0 commit comments