| /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
|