Pinned

1. smart-contract-analysis-tools smart-contract-analysis-tools Public

   Rust 1

2. smart-contract-analysis-tools-example smart-contract-analysis-tools-example Public

   This repository is used to demonstrate how we incorporate formal verification tools in our workflow.

   HTML 4

3. mocketh mocketh Public

   MockEth is a typed ethers.js mocking library for mocking Ethereum calls. It works by implementing a custom provider that intercepts and impersonates Ethereum calls.

   TypeScript 11

4. poc-zero-knowledge-password-manager poc-zero-knowledge-password-manager Public

   Zero-Knowledge Password Manager is a Proof of Concept project, which shows how an on-chain password manager could work with the use of Zero-Knowledge Protocols (ZKP)

   Rust 1