/dports/net-p2p/c-lightning/lightning-0.10.2/external/libwally-core/src/secp256k1/src/modules/surjection/ |
H A D | main_impl.h | 55 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 D | tests_impl.h | 30 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 D | spacer_proof_utils.h | 33 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 D | spacer_proof_utils.h | 33 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 D | module.make | 1 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 D | module.make | 1 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 D | ct_log_verifier_unittest.cc | 174 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 D | ct_log_verifier.cc | 141 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 D | ct_log_verifier_unittest.cc | 174 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 D | ct_log_verifier.cc | 142 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 D | module.make | 1 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 D | drat_proof_black.h | 23 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 D | proof_verifier.go | 32 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 D | module.make | 1 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 D | proof_test.go | 44 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 D | module.make | 1 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 D | verify_bike_r1.saw | 12 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 D | verify_bike_r2.saw | 10 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 D | proof | 18 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 D | verify_sike_r1.saw | 10 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 D | module.make | 1 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 D | logical_time_metadata_test.cpp | 49 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 D | module.make | 1 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 D | module.make | 1 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 D | module.make | 1 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
|