/external/epid-sdk/epid/member/unittests/ |
D | nr_prove-test.cc | 47 NrProof proof; in TEST_F() local 51 basic_sig, &sig_rl->bk[0], &proof)); in TEST_F() 54 basic_sig, &sig_rl->bk[0], &proof)); in TEST_F() 56 0, basic_sig, &sig_rl->bk[0], &proof)); in TEST_F() 59 basic_sig, &sig_rl->bk[0], &proof)); in TEST_F() 62 nullptr, &sig_rl->bk[0], &proof)); in TEST_F() 65 basic_sig, nullptr, &proof)); in TEST_F() 79 NrProof proof; in TEST_F() local 89 &sig_rl_enty_invalid_k, &proof)); in TEST_F() 95 &sig_rl_enty_invalid_b, &proof)); in TEST_F() [all …]
|
/external/epid-sdk/epid/member/tiny/unittests/internal/ |
D | nr_prove-test.cc | 43 NrProof proof; in TEST_F() local 46 &sig_rl->bk[0], &proof)); in TEST_F() 51 &sig_rl_enty_invalid_k, &proof)); in TEST_F() 57 &sig_rl_enty_invalid_b, &proof)); in TEST_F() 68 NrProof proof; in TEST_F() local 71 &sig_rl->bk[0], &proof)); in TEST_F() 77 &sig_rl->bk[0], &proof)); in TEST_F() 88 NrProof proof; in TEST_F() local 91 &sig_rl->bk[0], &proof)); in TEST_F() 97 EpidNrVerify(ctx, &basic_sig, nullptr, 0, &sig_rl->bk[0], &proof)); in TEST_F() [all …]
|
/external/epid-sdk/epid/verifier/1.1/src/ |
D | nrverify.c | 54 Epid11NrProof const* proof) { in Epid11NrVerify() argument 76 if (!ctx || !sig || !proof || !sigrl_entry) { in Epid11NrVerify() 122 res = NewBigNum(sizeof(proof->smu), &smu); in Epid11NrVerify() 124 res = NewBigNum(sizeof(proof->smu), &snu); in Epid11NrVerify() 131 res = ReadEcPoint(G3, &(proof->T), sizeof(proof->T), T); in Epid11NrVerify() 149 if (memcmp(&proof->smu, &commit_values->p_tick, sizeof(FpElemStr)) >= 0 || in Epid11NrVerify() 150 memcmp(&proof->snu, &commit_values->p_tick, sizeof(FpElemStr)) >= 0) { in Epid11NrVerify() 155 res = ReadBigNum(&(proof->c), sizeof(proof->c), nc_tick_bn); in Epid11NrVerify() 174 res = ReadBigNum(&(proof->smu), sizeof(proof->smu), smu); in Epid11NrVerify() 176 res = ReadBigNum(&(proof->snu), sizeof(proof->snu), snu); in Epid11NrVerify() [all …]
|
/external/epid-sdk/epid/verifier/src/ |
D | nrverify.c | 50 SigRlEntry const* sigrl_entry, NrProof const* proof) { in EpidNrVerify() argument 67 if (!ctx || !sig || !proof || !sigrl_entry) { in EpidNrVerify() 127 sts = ReadEcPoint(G1, &proof->T, sizeof(proof->T), t_pt); in EpidNrVerify() 142 sts = ReadFfElement(Fp, &proof->c, sizeof(proof->c), c_el); in EpidNrVerify() 144 sts = ReadFfElement(Fp, &proof->smu, sizeof(proof->smu), smu_el); in EpidNrVerify() 146 sts = ReadFfElement(Fp, &proof->snu, sizeof(proof->snu), snu_el); in EpidNrVerify() 169 r1b[0] = &proof->smu; in EpidNrVerify() 170 r1b[1] = &proof->snu; in EpidNrVerify() 188 r2b[0] = &proof->smu; in EpidNrVerify() 189 r2b[1] = &proof->snu; in EpidNrVerify() [all …]
|
/external/epid-sdk/epid/member/src/ |
D | nrprove.c | 60 NrProof* proof) { in EpidNrProve() argument 86 if (!ctx || (0 != msg_len && !msg) || !sig || !sigrl_entry || !proof) in EpidNrProve() 242 sts = WriteFfElement(Fp, t2, &proof->smu, sizeof(proof->smu)); in EpidNrProve() 253 sts = WriteFfElement(Fp, t2, &proof->snu, sizeof(proof->snu)); in EpidNrProve() 260 proof->T = commit_out.T; in EpidNrProve() 261 proof->c = c_str; in EpidNrProve() 263 if (IsIdentity(&proof->T)) { in EpidNrProve()
|
D | nrprove.h | 69 NrProof* proof);
|
/external/epid-sdk/epid/member/tiny/src/ |
D | nrprove.c | 38 SigRlEntry const* sigrl_entry, NrProof* proof) { in EpidNrProve() argument 125 FpSerialize(&proof->c, &c); in EpidNrProve() 126 FpSerialize(&proof->smu, &smu); in EpidNrProve() 127 FpSerialize(&proof->snu, &snu); in EpidNrProve() 128 proof->T = T_str; in EpidNrProve()
|
D | nrprove.h | 64 SigRlEntry const* sigrl_entry, NrProof* proof);
|
/external/python/cpython3/Lib/test/test_asyncio/ |
D | test_tasks.py | 1678 proof = 0 1682 nonlocal proof 1686 proof += 1 1692 nonlocal proof 1696 proof += 100 # Expect this path. 1698 proof += 10 1704 self.assertEqual(proof, 101) 1710 proof = 0 1714 nonlocal proof 1716 proof += 1 [all …]
|
/external/python/cpython2/Demo/threads/ |
D | README | 3 These are mostly "proof of concept" type applications:
|
/external/curl/tests/data/ |
D | test22 | 16 This is the proof it works
|
D | test17 | 16 This is the proof it works
|
D | test56 | 17 This is the proof it works
|
/external/epid-sdk/epid/verifier/1.1/ |
D | api.h | 451 Epid11NrProof const* proof);
|
/external/epid-sdk/epid/verifier/ |
D | api.h | 480 SigRlEntry const* sigrl_entry, NrProof const* proof);
|
/external/python/cpython3/Modules/_decimal/libmpdec/literature/ |
D | mulmod-ppro.txt | 13 The proof follows an argument made by Granlund/Montgomery in [2]. 139 (* Coq proof for (10) and (11) *)
|
/external/llvm/docs/ |
D | BranchWeightMetadata.rst | 115 Branch Weight Metatada is not proof against CFG changes. If terminator operands'
|
/external/ukey2/ |
D | README.md | 303 `PRK`, this violates some security proof. Those "shared" bits are the public keys that are sent 304 in `M_2` and `M_3` and are also used to derive the DHS. Though the "proof" may 314 Bruno Blanchet performed a formal proof of a simplified version of UKEY2.
|
/external/skia/experimental/c-api-example/ |
D | c.md | 109 The following proof-of-concept workflow currently works on MacOS and
|
/external/skqp/experimental/c-api-example/ |
D | c.md | 109 The following proof-of-concept workflow currently works on MacOS and
|
/external/opencensus-java/contrib/agent/ |
D | README.md | 33 As a proof-of-concept, the agent wraps the execution of
|
/external/llvm/test/Analysis/ScalarEvolution/ |
D | guards.ll | 122 ; Does not dominate the backedge, so cannot be used in the inductive proof
|
/external/swiftshader/third_party/llvm-7.0/llvm/docs/ |
D | BranchWeightMetadata.rst | 129 Branch Weight Metatada is not proof against CFG changes. If terminator operands'
|
/external/swiftshader/third_party/llvm-7.0/llvm/test/Analysis/ScalarEvolution/ |
D | guards.ll | 125 ; Does not dominate the backedge, so cannot be used in the inductive proof
|
/external/curl/docs/ |
D | GOVERNANCE.md | 138 working. You need to have gotten a few quality patches merged as a proof of
|