RubydusainCoinmonks·Oct 12, 2022Proof of Life: Zero-Knowledge-Proof Implementation of Conway’s Game of Life with Circom and SolidityRecently there is a rise in discussion about the potentials of ZKP — Zero Knowledge Proofs in crypto. Jumping on the bandwagon, I decided to learn circom and try to implement Conway’s Game of Life as a zkSNARK circuit, as well as use the circuit in an NFT smart contract. …Zero Knowledge Proofs6 min readZero Knowledge Proofs6 min read
Tom WatsoninCoinmonks·Jul 20, 2022Why is Polygon’s new zkEVM so amazing?Understanding Polygon zkEVM Polygon is one of the most popular scaling solutions for smart contract developers on Ethereum today. The layer 2 solution provides all of the decentralization and security developers expect but with reduced costs, as Polygon rolls up transactions and batches them to the Ethereum main net. Today, Polygon’s announcement of…Ethereum5 min readEthereum5 min read
Prof Bill Buchanan OBEinASecuritySite: When Bob Met Alice·Jul 9, 2022Member-onlyExplaining BLS12–381 … The “Zero Knowledge Proof” CurveWhat’s “BLS”, “12” and “381” in BLS12–381? — Introduction A good deal of my work involves using elliptic curves, along with implementing pairing-based cryptography for things like zero knowledge proofs (ZKPs). At the core of this is often the magical BLS12–381 curve, and which has not one curve, but two. …5 min read5 min read
Aw Kai Shin·Nov 9, 2022Signing and Verifying Ethereum MessagesOne exciting feature of Ethereum is the ability to prove consent directly between parties. In other words, you can easily validate that someone agreed to something without the need for a third party. …Ethereum5 min readEthereum5 min read
Aw Kai Shin·Oct 31, 2022Signing and Verifying Ethereum Hashed MessagesOne exciting feature of Ethereum is the ability to prove consent directly between parties. In other words, you can easily validate that someone agreed to something without the need for a third party. …Ethereum6 min readEthereum6 min read
Neeraj BagdiainHeru Finance·Oct 20, 2022Zero-knowledge proofs and Ethereum Layer-2 solutionsWhat are Zero-Knowledge proofs? A ZK proof is a way for one party, the prover, to convince another, the verifier, that a particular statement is true while the prover refrains from disclosing full information apart from the fact that the statement is indeed true. Zero-knowledge proofs provide a safe way…Blockchain6 min readBlockchain6 min read
Ajith M·Oct 18, 2022Zero-knowledge Proof explained!Data. Data is crucial in this modern society. For starters, As we already know the apps we use in everyday life collect data, store it, and use it for multiple reasons. What if the user wants complete autonomy over their information? Here is a scenario: Once there lived a king, ( Don’t Judge 😏)…Zero Knowledge Proofs3 min readZero Knowledge Proofs3 min read
ScruffyStudiosinCoinmonks·Oct 3, 2022Fair PVP on/off-chain with ECDSAGoal: To achieve verifiable pvp outcomes on chain using ECDSA At first, I had no idea how I would achieve this but after a couple of weeks, it hit me. Use ECDSA signatures before & after the fight in order to make sure all participants are recorded & submit these…Solidity Tutorial2 min readSolidity Tutorial2 min read
Ashwin Yardi·Jul 26, 2022Merkle trees explained — Part 1: What are merkle trees?If you are a dev / techie and if you have a high level understanding of blockchains, you surely have heard this buzzword: “Merkle trees”. Wikipedia says: In cryptography and computer science, a hash tree or Merkle tree is a tree in which every “leaf” (node) is labelled with the…Ethereum3 min readEthereum3 min read
mbvissers.ethinBLOCK6·Sep 19, 2022Using Merkle Trees in SolidityCreating and verifying Merkle Tree proofs using Solidity smart contracts and JavaScript. Merkle Trees are a great cryptographic way to gain a certain proof. For example, that a smart contract function call has come from your own website, or that an NFT mint function call comes from a whitelisted address. …Ethereum3 min readEthereum3 min read
Trapdoor-Tech·Sep 7, 2022Zero Knowledge Proof — FPGA or GPU?Zero-Knowledge Proof now has a wider range of applications, such as privacy calculation, computational proving, consensus proving, and so on. While looking for more suitable application scenarios, many people gradually find that the preformance of Zero-Knowledge Proof is the bottleneck. Trapdoor Tech has been researching on Zero-Knowledge Proof in depth…Zksnark9 min readZksnark9 min read
Prof Bill Buchanan OBEinASecuritySite: When Bob Met Alice·Aug 27, 2022Member-onlyBreaking and Unbreaking in Cybersecurity: RSA Solver for Two Different Public Key ExponentsAs a child, I was forever taking things apart and often did not put them back together again. For me, I had to discover the magic that made the thing work. But, not putting it together again was not good for my parents. And so, if you are into cybersecurity…Cybersecurity5 min readCybersecurity5 min read
Prof Bill Buchanan OBEinASecuritySite: When Bob Met Alice·Jul 1, 2022Member-onlyEd25519 is Great, But …“You can lead a horse to water, but you can’t make it drink” Sometimes, you feel that some software developers struggle to properly secure their code. …Cryptography4 min readCryptography4 min read
Alexandr KumancevinCoinmonks·Aug 9, 2022NFT airdrop/whitelist implementation with MerkleTree.In this article, we’ll break down the MerkleTree proof implementation for your NFT collection’s airdrop/whitelist. (+testing). Using Polygon Mumbai. If you don’t understand how this algorithm works, I advise you to read the previous article before starting to work (I have explained the Merkle algorithm in detail here). I also advise…Solidity5 min readSolidity5 min read
Ashwin Yardi·Jul 30, 2022Merkle trees explained — Part 2: How verification of presence worksIn part 1 of this article, we tried to understand what merkle trees are and the concept behind. We know that merkle trees help us in verifying whether a particular data point is the part of the tree ( merkle root ) or not. …Ethereum3 min readEthereum3 min read
Prof Bill Buchanan OBEinASecuritySite: When Bob Met Alice·Jul 2, 2022Explaining The Chalkias Ed25519 VulnerabilityOne of the most important functions within a trusted infrastructure is the usage of a digital signature. In the past, ECDSA has been shown to have weaknesses, including where Sony used a private key of “9”. …Cryptography5 min readCryptography5 min read
Alvaro Andres Pinzon Cortes·May 5, 2022Creating simple zero-knowledge verifier contract with ZoKrates (0.5.0) solidity (0.5.0)Prerequisites Install docker Step by step guide Create a folder named code to put the code Create the square.code file with this content: def main(private field a, field b) -> (field): field result = if a * a == b then 1 else 0 fi return result 3. Start docker 4. Open the terminal run…Zokrates2 min readZokrates2 min read
Penguin Finance·Mar 1, 2022A Cumulative Merkle Distributor for AirdropWhen conducting an airdrop to a large number of users, the typical approach is to store users’ wallet addresses in a program, and claims are initiated by the users. This approach, however, will generate massive storage costs, called “rent” in Solana, when there are numerous wallet addresses to be stored. …Solana Blockchain3 min readSolana Blockchain3 min read
Trapdoor-Tech·Jun 11, 2022Zero Knowledge Proof — Deep into zkEVM source code (State Circuit)zkEVM is a kind of complicated Zero-Knowledge Proof application, it’s worth reading and learning its source code over and over again. https://github.com/appliedzkp/zkevm-circuits.git The last commit version of the source code used in this article is shown below: commit 1ec38f207f150733a90081d3825b4de9c3a0a724 (HEAD -> main) Author: z2trillion <z2trillion@users.noreply.github.com> …Zkevm5 min readZkevm5 min read
Prof Bill Buchanan OBEinASecuritySite: When Bob Met Alice·May 3, 2022Member-onlyThe Crazy World of Passwords: To “@” or to “!”I did an open day at my university on Saturday, and part of this was a fun Mentimeter test on passwords. As with every talk I have given on this, the majority used a single upper case character, put the number at the end, and used “!” or “@” in…Cybersecurity4 min readCybersecurity4 min read
