Repository History
5 repositories tagged with blockchain
EthList: The Comprehensive Ethereum Reading List
EthList is a comprehensive, crowdsourced Ethereum reading list maintained by Scanate, offering an invaluable resource for anyone interested in the Ethereum ecosystem. It organizes a vast collection of articles, videos, whitepapers, and tutorials across various categories. This repository makes it easy to navigate the complex world of Ethereum, from foundational concepts to advanced technical details.
Wake: A Python Framework for Secure Solidity Development and Fuzz Testing
Wake is a robust Python-based framework designed for secure Solidity development and comprehensive fuzz testing. It provides built-in vulnerability detectors, helping developers build more secure Ethereum dApps. With features like a VS Code extension and CI/CD integration, Wake streamlines the smart contract development workflow.
CertoraProver: State-of-the-Art Formal Verification for Smart Contracts
The Certora Prover is a leading security tool for automated formal verification of smart contracts. It supports EVM-based chains, Solana, and Stellar, ensuring robust security for decentralized applications. This open-source project, written in Kotlin, provides developers with powerful capabilities to enhance smart contract integrity.
Linera Protocol: Scalable Decentralized Blockchain Infrastructure
Linera Protocol is a cutting-edge decentralized blockchain infrastructure designed for highly scalable, secure, and low-latency Web3 applications. Built primarily with Rust and leveraging WebAssembly, it provides a robust framework for developing next-generation decentralized applications. With a strong focus on performance, Linera aims to address common scalability challenges in the blockchain space.
nexus-zkvm: A Modular and Extensible Zero-Knowledge Virtual Machine
The Nexus zkVM is a zero-knowledge virtual machine developed by nexus-xyz, written in Rust. It emphasizes a modular, extensible, and prover-optimized design, focusing on performance, security, and open science principles. This project aims to provide a transparent and efficient proving mechanism for zero-knowledge applications.