sCrypt: Nine Smart Contract Development Best PracticessCrypt is an embedded Domain Specific Language (eDSL) based on TypeScript. It’s designed for writing smart contracts on Bitcoin. sCrypt…4d ago4d ago
Clarity: Best Practices and ChecklistsOver the past few months, our team has conducted extensive research on the Bitcoin ecosystem and its developments. We also audited several…4d ago4d ago
Exploring PSBT in Bitcoin DeFi: Security Best PracticesIn recent years, Partially Signed Bitcoin Transactions (PSBT) have gained significant traction within the Bitcoin ecosystem. The rise of…5d ago5d ago
A Pet Rock No Longer: Bitcoin’s Innovation AwakeningA Pet Rock No Longer: Bitcoin’s Innovation Awakening provides a comprehensive overview of the Bitcoin ecosystem’s evolution over the last…6d ago6d ago
Exploring the BRC-20 Token Standard: An IntroductionSince its introduction in 2015, the ERC-20 token standard has gained widespread adoption due to its flexible and easy integration with DeFi…6d ago6d ago
Secure Smart Contract Programming in Tact: Popular Mistakes in the TON EcosystemThe Open Network (TON) continues to push the boundaries of blockchain technology with its innovative features and robust smart contract…Jul 1Jul 1
Secure Smart Contract Programming in FunC: Top 10 Tips for TON DevelopersTON is an innovative blockchain that incorporates novel concepts in smart contract design. Coming a number of years after Ethereum, the…Jul 1Jul 1
Advanced Formal Verification of ZKP: How ZK Memory Was ProvenIn our Advanced Formal Verification of Zero Knowledge Proof blog series, we have previously discussed how to Verify a ZK Instruction and…Jul 1Jul 1