Glider is a code query engine designed to run variant and data analysis on smart contracts by providing a framework that allows anyone to query contract code as one would do with data.
Remedy BB platform is designed to connect companies with skilled security researchers, offering a streamlined and secure way to identify and fix vulnerabilities.
With our platform, you can enhance your cybersecurity defenses, protect sensitive data, and ensure peace of mind by leveraging the expertise of top-notch researchers who are rewarded for their findings.
Remedy uses a cryptographic technique - ZK proof, that allows one party (the prover) to demonstrate to another party (the verifier) that a statement is true without revealing any information about the underlying details of that statement.
In simpler terms, ZK Proof allows proving knowledge of a secret or a fact without disclosing the actual secret or fact.
