Table 5 Model efficiency analysis.
Approaches | Proof generation time | Proof validation time | Certification time |
---|---|---|---|
Literature23 | 1s | 0.334s | 1.334s |
Ours | 0.42346s | 0.19119s | 0.61465s |
Approaches | Proof generation time | Proof validation time | Certification time |
---|---|---|---|
Literature23 | 1s | 0.334s | 1.334s |
Ours | 0.42346s | 0.19119s | 0.61465s |