|
|
C++ |
14 |
EOS smart contract to verify merkle proofs |
Jun 17, 2022 |
|
|
Python |
100 |
Generate & verify Merkle-Patricia-proofs for Ethereum |
Feb 09, 2023 |
|
|
Rust |
10 |
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct. |
Mar 13, 2023 |
|
|
JavaScript |
751 |
🌱 Construct Merkle Trees and verify proofs in JavaScript. |
Aug 14, 2022 |
|
|
None |
2 |
🌱 Construct Merkle Trees and verify proofs in JavaScript. |
Apr 24, 2023 |
|
|
JavaScript |
107 |
Construct merkle trees with MerkleTree.js and verify merkle proofs in Solidity. |
Aug 01, 2022 |
|
|
C# |
8 |
Verify vaccination data using Zero Knowledge Proofs with ASP.NET Core and MATTR |
Feb 15, 2022 |
|
|
C |
6 |
Resources around the Provable random-datasource |
Jun 30, 2021 |
|
|
JavaScript |
21 |
provable bitcoin HODLing |
Apr 27, 2021 |
|
|
JavaScript |
22 |
Provable Things documentation |
Aug 25, 2020 |
|
|
C++ |
12 |
How to generated and verify ring signatures in monero |
Nov 02, 2022 |
|
|
JavaScript |
2 |
The ETH smart contract for the Provable Token! |
Jan 31, 2023 |
|
|
JavaScript |
9 |
Provable API for the R3 Corda platform |
Oct 22, 2020 |
|
|
JavaScript |
113 |
Tool to verify appium installation |
Jun 10, 2022 |
|
|
Go |
6 |
openwallet coins' address verify tool |
Nov 19, 2020 |
|
|
Python |
13 |
Python based flash/verify tool for the CH55x MCUs |
Dec 24, 2022 |
|
|
C |
3 |
Tool to verify the reproducibility of SGX enclave builds |
Dec 11, 2021 |
|
|
Python |
5 |
Small tool to verify files of the libft project |
Mar 26, 2023 |
|
|
None |
35 |
An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract. |
Jul 21, 2022 |
|
|
Python |
6 |
Tool for reanimation of Coq proofs [maintainer=@JasonGross] |
May 24, 2022 |
|
|
OCaml |
2 |
A tool for sharing proofs with predicative systems |
Feb 11, 2023 |
|
|
Rust |
37 |
The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated … |
Jul 30, 2022 |
|
|
Go |
4 |
tool to verify EC2 identity metadata |
Feb 13, 2020 |
|
|
Go |
6 |
A tool to help verify CloudEvents. |
Aug 26, 2020 |
|
|
Go |
94 |
Go package to encode (with random generated salt) and verify passwords |
May 17, 2023 |
|
|
None |
9 |
Provable robustness for segmentation tasks. |
Feb 15, 2023 |
|
|
C++ |
30 |
Provable API for EOS contracts |
May 04, 2023 |
|
|
Rust |
2 |
Tool to verify that a Beacon implementation follows the specification |
Aug 15, 2022 |
|
|
Rust |
2 |
Prove and verify ownership of assets on EVM chains by verifying Merkle Patricia Trie proofs … |
Apr 16, 2023 |
|
|
Java |
3 |
Randomly generated data tool |
Nov 17, 2021 |
|
|
Zig |
2 |
static website generated tool |
May 01, 2023 |
|
|
HTML |
158 |
The Book of Statistical Proofs |
Apr 21, 2023 |
|
|
Lean |
24 |
Formalizing "Proofs from THE BOOK" |
Apr 22, 2023 |
|
|
HTML |
2 |
The Book of Statistical Proofs |
Nov 19, 2022 |
|
|
JavaScript |
12 |
A tool to paste constructions, transformations, and synthetic proofs on the geometric plane |
Mar 01, 2022 |
|
|
JavaScript |
9 |
A simple tool to verify wordpress installations |
Sep 02, 2021 |
|
|
C# |
23 |
A dotnet tool for managing Verify snapshots. |
Apr 23, 2023 |
|
|
Java |
2 |
Quick & dirty tool to verify database connectivity |
May 04, 2021 |
|
|
Python |
20 |
A tool to automatically verify Apple ID's |
Mar 23, 2023 |
|
|
Python |
24 |
RAB: Provable Robustness Against Backdoor Attacks |
Nov 01, 2022 |
|
|
Python |
314 |
Provable adversarial robustness at ImageNet scale |
May 05, 2023 |
|
|
Solidity |
768 |
Provable API for Ethereum smart contracts |
May 29, 2023 |
|
|
Go |
11 |
Provable API for Hyperledger Fabric Chaincodes |
Feb 10, 2022 |
|
|
Solidity |
4 |
Provable API for Rootstock smart contracts |
Apr 13, 2021 |
|
|
Scala |
2 |
Scala tool for representation and verification of natural deduction proofs |
Jun 08, 2020 |
|
|
C++ |
18 |
ZSLBox offers some grpc endpoints to generate and verify proofs "à la ZCash": shielding, unshielding … |
Mar 01, 2020 |
|
|
Haskell |
29 |
Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols. |
Feb 02, 2022 |
|
|
Python |
3 |
Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols. |
Feb 09, 2023 |
|
|
C++ |
253 |
Tool to generated DASH content |
Oct 18, 2022 |
|
|
TeX |
5 |
Mathematical proofs of the bbchallenge project. |
Feb 06, 2023 |