Home
last modified time | relevance | path

Searched refs:proof (Results 1 – 25 of 3202) sorted by relevance

12345678910>>...129

/dports/net-p2p/c-lightning/lightning-0.10.2/external/libwally-core/src/secp256k1/src/modules/surjection/
H A Dmain_impl.h55 ARG_CHECK(proof != NULL); in secp256k1_surjectionproof_parse()
108 memcpy(&output[2], proof->used_inputs, (proof->n_inputs + 7) / 8); in secp256k1_surjectionproof_serialize()
109 memcpy(&output[2 + (proof->n_inputs + 7) / 8], proof->data, signature_len); in secp256k1_surjectionproof_serialize()
119 return proof->n_inputs; in secp256k1_surjectionproof_n_total_inputs()
126 return secp256k1_count_bits_set(proof->used_inputs, (proof->n_inputs + 7) / 8); in secp256k1_surjectionproof_n_used_inputs()
189 if (proof != NULL) { in secp256k1_surjectionproof_allocate_initialized()
195 free(proof); in secp256k1_surjectionproof_allocate_initialized()
211 if (proof != NULL) { in secp256k1_surjectionproof_destroy()
213 free(proof); in secp256k1_surjectionproof_destroy()
233 memset(proof->data, 0, sizeof(proof->data)); in secp256k1_surjectionproof_initialize()
[all …]
H A Dtests_impl.h30 secp256k1_surjectionproof proof; in test_surjectionproof_api() local
211 secp256k1_surjectionproof proof; in test_input_selection() local
274 secp256k1_surjectionproof proof; in test_input_selection_distribution_helper() local
373 secp256k1_surjectionproof proof; in test_gen_verify() local
447 proof.used_inputs[i / 8] ^= (1 << (i % 8)); in test_gen_verify()
462 secp256k1_surjectionproof proof; in test_no_used_inputs_verify() local
475 proof.n_inputs = 1; in test_no_used_inputs_verify()
499 secp256k1_surjectionproof proof; in test_bad_serialize() local
503 proof.n_inputs = 0; in test_bad_serialize()
510 secp256k1_surjectionproof proof; in test_bad_parse() local
[all …]
/dports/math/z3/z3-z3-4.8.13/src/muz/spacer/
H A Dspacer_proof_utils.h33 proof_ref reduce(proof* pr);
43 obj_map<proof, proof*> m_cache;
56 proof_ref reduce(proof* pf);
72 obj_map<proof, proof*> m_cache;
75 obj_map<expr, proof*> m_units;
89 bool is_ancestor(proof *p, proof *q);
94 void collect_units(proof* pr);
97 proof* reduce_core(proof* pf);
99 proof* mk_lemma_core(proof *pf, expr *fact);
100 proof* mk_unit_resolution_core(proof* ures, ptr_buffer<proof>& args);
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/spacer/
H A Dspacer_proof_utils.h33 proof_ref reduce(proof* pr);
43 obj_map<proof, proof*> m_cache;
56 proof_ref reduce(proof* pf);
72 obj_map<proof, proof*> m_cache;
75 obj_map<expr, proof*> m_units;
89 bool is_ancestor(proof *p, proof *q);
94 void collect_units(proof* pr);
97 proof* reduce_core(proof* pf);
99 proof* mk_lemma_core(proof *pf, expr *fact);
100 proof* mk_unit_resolution_core(proof* ures, ptr_buffer<proof>& args);
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A Dmodule.make1 SRC += src/proof/ssw/sswAig.c \
2 src/proof/ssw/sswBmc.c \
3 src/proof/ssw/sswClass.c \
4 src/proof/ssw/sswCnf.c \
5 src/proof/ssw/sswConstr.c \
6 src/proof/ssw/sswCore.c \
7 src/proof/ssw/sswDyn.c \
11 src/proof/ssw/sswMan.c \
12 src/proof/ssw/sswPart.c \
15 src/proof/ssw/sswSat.c \
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A Dmodule.make1 SRC += src/proof/acec/acecCl.c \
2 src/proof/acec/acecCore.c \
3 src/proof/acec/acecCo.c \
4 src/proof/acec/acecBo.c \
5 src/proof/acec/acecRe.c \
6 src/proof/acec/acecPa.c \
7 src/proof/acec/acecPo.c \
8 src/proof/acec/acecPool.c \
11 src/proof/acec/acecMult.c \
12 src/proof/acec/acecNorm.c \
[all …]
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/net/cert/
H A Dct_log_verifier_unittest.cc174 return proof; in GetProof()
281 wrong_proof.insert(wrong_proof.end(), proof.begin(), proof.end()); in CheckVerifyAuditProof()
378 wrong_proof.insert(wrong_proof.end(), proof.begin(), proof.end()); in CheckVerifyConsistencyProof()
627 return proof; in CreateAuditProof()
629 return proof; in CreateAuditProof()
641 proof = in CreateAuditProof()
646 return proof; in CreateAuditProof()
660 return proof; in CreateConsistencyProof()
669 return proof; in CreateConsistencyProof()
678 proof = in CreateConsistencyProof()
[all …]
H A Dct_log_verifier.cc141 if (key_id_ != proof.log_id) in VerifyConsistencyProof()
146 if (proof.first_tree_size > proof.second_tree_size) in VerifyConsistencyProof()
153 if (proof.first_tree_size == proof.second_tree_size) in VerifyConsistencyProof()
159 if (proof.first_tree_size == 0) in VerifyConsistencyProof()
160 return proof.nodes.empty(); in VerifyConsistencyProof()
173 DCHECK_LT(proof.first_tree_size, proof.second_tree_size); in VerifyConsistencyProof()
178 auto iter = proof.nodes.begin(); in VerifyConsistencyProof()
180 if (iter == proof.nodes.end()) in VerifyConsistencyProof()
250 if (proof.leaf_index >= proof.tree_size) in VerifyAuditProof()
254 uint64_t fn = proof.leaf_index; in VerifyAuditProof()
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/net/cert/
H A Dct_log_verifier_unittest.cc174 return proof; in GetProof()
281 wrong_proof.insert(wrong_proof.end(), proof.begin(), proof.end()); in CheckVerifyAuditProof()
378 wrong_proof.insert(wrong_proof.end(), proof.begin(), proof.end()); in CheckVerifyConsistencyProof()
627 return proof; in CreateAuditProof()
629 return proof; in CreateAuditProof()
641 proof = in CreateAuditProof()
646 return proof; in CreateAuditProof()
660 return proof; in CreateConsistencyProof()
669 return proof; in CreateConsistencyProof()
678 proof = in CreateConsistencyProof()
[all …]
H A Dct_log_verifier.cc142 if (key_id_ != proof.log_id) in VerifyConsistencyProof()
147 if (proof.first_tree_size > proof.second_tree_size) in VerifyConsistencyProof()
154 if (proof.first_tree_size == proof.second_tree_size) in VerifyConsistencyProof()
160 if (proof.first_tree_size == 0) in VerifyConsistencyProof()
161 return proof.nodes.empty(); in VerifyConsistencyProof()
174 DCHECK_LT(proof.first_tree_size, proof.second_tree_size); in VerifyConsistencyProof()
179 auto iter = proof.nodes.begin(); in VerifyConsistencyProof()
181 if (iter == proof.nodes.end()) in VerifyConsistencyProof()
251 if (proof.leaf_index >= proof.tree_size) in VerifyAuditProof()
255 uint64_t fn = proof.leaf_index; in VerifyAuditProof()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A Dmodule.make1 SRC += src/proof/fra/fraBmc.c \
2 src/proof/fra/fraCec.c \
3 src/proof/fra/fraClass.c \
4 src/proof/fra/fraClau.c \
5 src/proof/fra/fraClaus.c \
6 src/proof/fra/fraCnf.c \
7 src/proof/fra/fraCore.c \
8 src/proof/fra/fraHot.c \
9 src/proof/fra/fraImp.c \
10 src/proof/fra/fraInd.c \
[all …]
/dports/math/cvc4/CVC4-1.7/test/unit/proof/
H A Ddrat_proof_black.h23 using namespace CVC4::proof::drat;
48 DratProof proof = DratProof::fromBinary(input); in testParseOneAdd() local
52 TS_ASSERT_EQUALS(proof.getInstructions()[0].d_clause[0], in testParseOneAdd()
60 DratProof proof = DratProof::fromBinary(input); in testParseOneMediumAdd() local
64 TS_ASSERT_EQUALS(proof.getInstructions()[0].d_clause[0], in testParseOneMediumAdd()
72 DratProof proof = DratProof::fromBinary(input); in testParseOneBigAdd() local
104 DratProof proof = DratProof::fromBinary(input); in testParseTwo() local
126 DratProof proof = DratProof::fromBinary(input); in testOutputTwoAsText() local
129 proof.outputAsText(output); in testOutputTwoAsText()
161 DratProof proof = DratProof::fromBinary(input); in testOutputTwoAsLfsc() local
[all …]
/dports/security/keybase/client-v5.7.1/go/merkletree2/
H A Dproof_verifier.go32 if proof == nil {
64 leafHashesLength := len(proof.OtherPairsInLeaf)
73 …if (j < len(proof.OtherPairsInLeaf) && valueToInsert && proof.OtherPairsInLeaf[j].Key.Cmp(kvp.Key)…
94 sibH := proof.SiblingHashesOnPath
124 rootMetadata := proof.RootMetadataNoHash
192 rootHashMap[s] = proof.RootHashes[i]
220 rootMap[s] = proof.PreviousRootsNoSkips[i]
297 …if initialSeqno == finalSeqno && (proof == nil || (len(proof.PreviousRootsNoSkips) == 0 && len(pro…
304 if proof == nil {
327 if proof == nil {
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A Dmodule.make1 SRC += src/proof/abs/absDup.c \
2 src/proof/abs/absGla.c \
3 src/proof/abs/absGlaOld.c \
4 src/proof/abs/absIter.c \
5 src/proof/abs/absOldCex.c \
9 src/proof/abs/absOut.c \
10 src/proof/abs/absPth.c \
11 src/proof/abs/absRef.c \
13 src/proof/abs/absRpm.c \
15 src/proof/abs/absVta.c \
[all …]
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/trie/
H A Dproof_test.go44 proof := memorydb.New()
46 return proof
50 proof := memorydb.New()
56 return proof
66 proof := prover(kv.k)
67 if proof == nil {
86 if proof == nil {
89 if proof.Len() != 1 {
108 if proof == nil {
117 proof.Delete(key)
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A Dmodule.make1 SRC += src/proof/cec/cecCec.c \
2 src/proof/cec/cecChoice.c \
3 src/proof/cec/cecClass.c \
4 src/proof/cec/cecCore.c \
5 src/proof/cec/cecCorr.c \
6 src/proof/cec/cecIso.c \
7 src/proof/cec/cecMan.c \
8 src/proof/cec/cecPat.c \
9 src/proof/cec/cecSat.c \
10 src/proof/cec/cecSatG.c \
[all …]
/dports/security/s2n/s2n-tls-1.1.2/tests/saw/bike_r1/
H A Dverify_bike_r1.saw12 include "proof/base.saw";
13 include "proof/bike_r1_defs.saw";
14 include "proof/constants.saw";
15 include "proof/helpers.saw";
16 include "proof/types.saw";
18 include "proof/outside.saw";
20 include "proof/gf2x.saw";
21 include "proof/utilities.saw";
22 include "proof/aes.saw";
24 include "proof/sampling.saw";
[all …]
/dports/security/s2n/s2n-tls-1.1.2/tests/saw/bike_r2/
H A Dverify_bike_r2.saw10 include "proof/base.saw";
11 include "proof/bike_r2_defs.saw";
12 include "proof/constants.saw";
13 include "proof/helpers.saw";
14 include "proof/types.saw";
16 include "proof/outside.saw";
18 include "proof/gf2x.saw";
19 include "proof/utilities.saw";
20 include "proof/aes.saw";
21 include "proof/sampling.saw";
[all …]
/dports/finance/ledger/ledger-3.2.1/tools/
H A Dproof18 sudo rm -fr $DEST/ledger-proof
19 date > $LOGDIR/ledger-proof.log
23 tee -a $LOGDIR/ledger-proof-g++-4.7.log
27 tee -a $LOGDIR/ledger-proof-g++-4.7-python.log
31 tee -a $LOGDIR/ledger-proof-clang-3.1.log
35 tee -a $LOGDIR/ledger-proof-clang-3.1-python.log
38 mutt -a $LOGDIR/ledger-proof.log \
40 Ledger proof build FAILED, at commit $VERSION.
51 cd $DEST/ledger-proof-python-g++-4.7/debug; make docs
52 cd $DEST/ledger-proof-python-g++-4.7/gcov; make report
[all …]
/dports/security/s2n/s2n-tls-1.1.2/tests/saw/sike_r1/
H A Dverify_sike_r1.saw10 include "proof/base.saw";
12 include "proof/sike_base.saw";
13 include "proof/word.saw";
15 include "proof/fp_generic.saw";
16 include "proof/field.saw";
17 include "proof/curv.saw";
18 include "proof/isogeny.saw";
19 include "proof/random.saw";
20 include "proof/sidh.saw";
21 include "proof/shake.saw";
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/
H A Dmodule.make1 SRC += src/proof/fraig/fraigApi.c \
2 src/proof/fraig/fraigCanon.c \
3 src/proof/fraig/fraigFanout.c \
4 src/proof/fraig/fraigFeed.c \
5 src/proof/fraig/fraigMan.c \
6 src/proof/fraig/fraigMem.c \
7 src/proof/fraig/fraigNode.c \
8 src/proof/fraig/fraigPrime.c \
9 src/proof/fraig/fraigSat.c \
11 src/proof/fraig/fraigUtil.c \
[all …]
/dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/rpc/metadata/
H A Dlogical_time_metadata_test.cpp49 SHA1Block::HashType proof; in TEST() local
50 proof.fill(0); in TEST()
51 proof[19] = 6; in TEST()
52 proof[0] = 12; in TEST()
74 std::array<uint8_t, 20> proof; in TEST() local
75 proof.fill(0); in TEST()
82 signatureObjBuilder.append("hash", BSONBinData(proof.data(), proof.size(), BinDataGeneral)); in TEST()
127 proof.fill(0); in TEST()
133 signatureObjBuilder.append("hash", BSONBinData(proof.data(), proof.size(), BinDataGeneral)); in TEST()
146 proof.fill(0); in TEST()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/
H A Dmodule.make1 SRC += src/proof/dch/dchAig.c \
2 src/proof/dch/dchChoice.c \
3 src/proof/dch/dchClass.c \
4 src/proof/dch/dchCnf.c \
5 src/proof/dch/dchCore.c \
6 src/proof/dch/dchMan.c \
7 src/proof/dch/dchSat.c \
8 src/proof/dch/dchSim.c \
9 src/proof/dch/dchSimSat.c \
10 src/proof/dch/dchSweep.c
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/
H A Dmodule.make1 SRC += src/proof/int/intCheck.c \
2 src/proof/int/intContain.c \
3 src/proof/int/intCore.c \
4 src/proof/int/intCtrex.c \
5 src/proof/int/intDup.c \
6 src/proof/int/intFrames.c \
7 src/proof/int/intInter.c \
8 src/proof/int/intM114.c \
9 src/proof/int/intMan.c \
10 src/proof/int/intUtil.c
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A Dmodule.make1 SRC += src/proof/pdr/pdrCnf.c \
2 src/proof/pdr/pdrCore.c \
3 src/proof/pdr/pdrIncr.c \
4 src/proof/pdr/pdrInv.c \
5 src/proof/pdr/pdrMan.c \
6 src/proof/pdr/pdrSat.c \
7 src/proof/pdr/pdrTsim.c \
8 src/proof/pdr/pdrTsim2.c \
9 src/proof/pdr/pdrTsim3.c \
10 src/proof/pdr/pdrUtil.c

12345678910>>...129