Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with verify
Search options questions only
not deleted
user 70961
1
vote
1
answer
993
views
Create zkProof onchain
Is it possible to create ZK-SNARKS proofs and verify them, all onchain, with solidity, without reveling the witness? …
- 948
2
votes
2
answers
197
views
Efficient way of verifying a sum of multiple numbers
If I have, let's say 1000 numbers or 10k numbers, and they all add up to 100 when combined, what would be the most efficient way to verify that in fact the sum of all of them is 100? …
- 948
0
votes
1
answer
489
views
Failing to verify signature
I'm trying to verify a signature using OpenZeppelin's SignatureChecker library, but always returns false. … This is the verify function from the lib:
function isValidSignatureNow(
address signer,
bytes32 hash,
bytes memory signature
) internal view returns (bool) {
(address …
- 948
1
vote
0
answers
25
views
InvalidFEOpcode when running Hello ZoKrates
I'm trying to verify a proof by calling verifyTx() on the smart contract output given after running zokrates export-verifier, but it's reverting with the error InvalidFEOpcode on the code block:
assembly …
- 948