Will Martino - Founder & President
The Future of Blockchain is the Smart Contract Sharing EconomyHow Kadena’s stack turns cost centers into revenue generators. Kadena is uniquely positioned in the blockchain ecosystem; we provide a complete blockchain stack allowing entrepreneurs and developers to use both permissioned and permission-less (private and public) blockchains to unlock new sources of revenue.
Emily Pillmore - M L E that's me
The EVM Is Fundamentally UnsafeAn in-depth examination of the Ethereum Virtual Machine vs. Kadena’s Pact smart contract language
Security in Kadena’s Public BlockchainAs awareness of Kadena and our blockchain protocol Chainweb grows, I see the same misunderstandings about how braided Proof of Work (PoW) functions, leading to repeated earnest but incorrect critiques. This issue is understandable as scalability research and analysis is still in its infancy, and we are still inventing a shared language for describing Byzantine Fault Tolerant (BFT) at scale systems.
Miguel Angel Romero Jr.
San Francisco Blockchain WeekKadena is excited to be a part of San Francisco Blockchain Week! We start off our week with our SFBW Kick Off Party (co-hosted with MetalPay) at Coin-Op San Francisco on Sunday, October 7th. We’ve rented out the entire upstairs of Flynn Bar featuring arcade games, an open bar, and music all ready for us to have a good time. You can RSVP to the event here.
Stuart Popejoy - Founder & CEO
Pact 2.4 Is Out!After a lot of hard work we’re releasing the biggest pact upgrade since last year. Pact 2.4 brings some very significant changes to further establish Pact as the premier smart contracts language for blockchain formal verification that can be used by the average developer, right in their smart contract code; and a new dependency-management system we like to call “no left-pad”.
Pact Formal Verification Making Blockchain Smart Contracts SaferProperty checking tools are now available for Kadena’s smart contract language, Pact! This means that Pact now allows for smart contract authors to express, automatically check, and formally verify that their code does not contain potentially catastrophic bugs.
Consensus2018 5 Lessons from Your First Crypto Conference (Day 1)What to do when they bring the lambos to your doorstep
Why We Open-Sourced Our Blockchain’s Smart Contract LanguageBack in November 2016, Kadena open-sourced our smart contract language, Pact™. Open-sourcing is all about empowering users, and that’s also what motivated us to make Pact in the first place––to empower people to enact meaningful events on a blockchain, safely and quickly. We believe open-source initiatives provide transparency and benefits to everyone
Kadena Raises $12M For Public BlockchainKadena is excited to announce that we’ve raised $12M in our second SAFT round, accelerating the development of our revolutionary public blockchain, Chainweb, aimed to be the fastest, safest, and most scalable proof-of-work consensus protocol out there. Check out the breaking coverage on CoinDesk.
Stuart Popejoy - Founder & CEO
Pact 2.3.8 is out!The latest version of Kadena’s smart-contract language, Pact 2.3.8, is released! This update boasts auto-completion and full readline support for the pact command line interpreter, no more rlwrap required. Hit tab to see all completions, up-arrow and down-arrow for history, Ctrl-A for beginning of line, Ctrl-E for end, etc. All made possible in record time by the incomparable Joel Burget.