TechFi
Data Analysis
Security
News
Tech Talk
Others
DeFi Web3 Bitcoin and Ethereum NFT Front-end
Subscribe
TechFi
Data Analysis
Security
News
Tech Talk
Subscribe
Tabu

Tabu

3 posts published

The text zkSNARK with symbol of a key network
Security

zkSNARK - Zero-Knowledge Succinct Non-interactive Arguments of Knowledge

Introduction Zero-knowledge Succinct Non-interactive Arguments of Knowledge (zk-SNARK) is the genuinely innovative way of showing that something is true without giving any other information. The question here is, "why is it useful in the first place?". Zero-knowledge proofs are applicable to a wide variety of situations, including proving an assertion

  • Tabu
Tabu Jul 30, 2022 • 6 min read
A picture that describes a boy wearing an astronaut hat with a thief depicting the exploit of the Akutars
Security

Dig deep into the Exploits of the Akutars

The contract that had vulnerabilities was deployed at 0xf42c318dbfbaab0eee040279c6a2588fa01a961d on Ethereum. Introduction to Akutars Akutars is an "avatar" NFT project consisting of 15,000 NFTs depicting a black boy wearing an astronaut hat, with many variations in costume, color, and background. That is the idea of Micah Johnson, a former

  • Tabu
Tabu May 13, 2022 • 3 min read
Certora Prover - Ensuring Smart Contract Security
Security

Certora Prover - Ensuring Smart Contract Security

About Certora ProverCertora has been the only team that offers Prover Technology for verifying security rules, which includes the following properties: Minimal false alarms: Certora Prover ensures that the reported errors are realFormal correctness guarantees: Certora Prover makes sure that there are no missed alarms for proven rulesFully automatic: Users

  • Tabu
Tabu Apr 25, 2022 • 6 min read
Contact
Terms of Service
Privacy Policy
Cookies Policty
About
TechFi © 2023
Powered by TechFi