We're #hiring a new Blockchain Specialist in United States. Apply today or share this post with your network.
Anastasia Labs
IT 服务与咨询
Where open-source meets impact | Pioneering the Future of Smart Contract Auditing and Development
关于我们
In the rapidly evolving world of blockchain technology, Anastasia Labs stands at the forefront as a leader in smart contract auditing and development. Our mission is to empower businesses and individuals by providing expert guidance, comprehensive services, and bespoke solutions for smart contracts in cryptocurrencies. With a dedicated team of seasoned professionals, we combine technical expertise, industry experience, and a customer-centric approach to ensure the security and efficiency of smart contracts. We are more than service providers; we are innovators, explorers, and partners in driving the future of decentralized technology
- 网站
-
https://anastasialabs.com/
Anastasia Labs的外部链接
- 所属行业
- IT 服务与咨询
- 规模
- 11-50 人
- 总部
- Austin, Texas
- 类型
- 私人持股
- 创立
- 2023
- 领域
- Smart Contracts Development、Smart Contract Audit、Haskell、Plutus、Cardano、eUTxo design patters、Smart Contract architecture design和Blockchain Technology
地点
-
主要
US,Austin, Texas
Anastasia Labs员工
-
Suganya Raju
Cardano Smart Contract developer | Developer Advocate |
-
Mark Petruska
head of smart contract/formal verification engineer/smart contract auditor
-
Harun Mwangi
Certified Cardano Solutions Architect | Certified Cardano Developer Professional | Building Quality and Reliable Decentralized Technology.
-
Mladen Lamesevic
Head of Business Development and Marketing @ Anastasia Labs | 7+ Years of Sales Experience and making customers happy | Cardano Stake Pool Operator ?…
动态
-
We're #hiring a new Software Engineer in Austria. Apply today or share this post with your network.
-
We are incredibly grateful for this recognition by the community! We also had one of the nicest experiences at the Cardano Summit hosted by Cardano Foundation! Thank you!
? Reliving the Magic of the Gala Awards Dinner! ? What a night! The Cardano Summit 2024 culminated in an unforgettable Gala Awards Dinner, where we celebrated the incredible achievements of our vibrant community. ?? A huge thank you to everyone who voted in the Cardano Ballot, making this celebration of community-driven innovation possible. Congratulations to all the winners... ?? SSPO Winner: Cardano Vietnam ???? DeFi Platform Winner: FluidTokens ?? DAO Tooling & Governance Winner: Minswap Labs ??? Infrastructure Platform Winner: NMKR ??? NFT & Digital Collectibles Winner: Hosky Token ?? Educational Influencer Winner: Cardano Whale ?? Developer & Tooling Winner: Aiken ??? DEX Winner: Congratulations to Minswap Labs (A double win!) ?? Innovation & Standards Winner: Anastasia Labs Blockchain for Good Winner: Empowa ?? Ambassador Winner: Ha Nguyen! ?? We are incredibly proud of all the nominees and winners who are pushing the boundaries of what's possible on Cardano. Your dedication and passion inspire us all! Here's to another year of growth, innovation, and collaboration! ?? #CardanoSummit2024 #CardanoCommunity #Cardano
-
-
-
-
-
+1
-
-
Intersect is proud to offer a warm welcome to our latest Enterprise members: Anastasia Labs, Bloxico, Byron Network Oü, Catalyst Africa Townhall, Iagon, Inversion, MIGSO-PCUBED, Women In Move Solutions, zkFold SA. We look forward to collaborating with you all! If you're eager to explore and learn more about our membership benefits, we invite you to check out - https://bit.ly/InterMB and join us here: https://lnkd.in/eFVsvd4s. #cardano #cardanocommunity
-
-
Our #Atala team open sourced #Identus as an Hyperledger Foundation project! #Identus provides: - Complete DID operations - Verifiable credentials (issuance, updating, and revocation, Hyperledger AnonCreds & JWT support) - Cloud Agent - Edge Agent SDKs that simplifies creating wallet applications for various platforms and programming languages: TypeScript, Android/JVM and Swift. - DIDComm v2 Mediators
-
Its Live! The next iteration of our Cardano Project Spotlight has been posted. We had the pleasure of meeting with Philip DiSarro and learning more about Anastasia Labs! Check it out! https://lnkd.in/gsWNcnSR
-
If you are not aware of Anastasia Labs or Philip DiSarro, Check out the latest Cardano Project Spotlight on the Open Source Office YouTube!
Its Live! The next iteration of our Cardano Project Spotlight has been posted. We had the pleasure of meeting with Philip DiSarro and learning more about Anastasia Labs! Check it out! https://lnkd.in/gsWNcnSR
-
Recently, a malicious actor attempted to perform a denial-of-service attack on the Cardano blockchain. Our CEO, Philip DiSarro identified a vulnerability in the malicious transactions which he was able to use to turn the tables on the attacker. Taking advantage of this vulnerability, we were able to immediately terminate the denial-of-service attack and extract funds from the attacker in the process! The situation was covered by CoinDesk and many other outlets: https://lnkd.in/gYeEZeSs Here is the ironic tweet: https://lnkd.in/gf5eWY8F
-
Midgard is an innovative Layer 2 (L2) scaling solution designed to enhance the Cardano blockchain's capacity by employing optimistic rollup technology. As Cardano continues to grow in usage and demand, scalable solutions like Midgard are critical for maintaining high performance and low transaction costs. Optimistic rollups, like Midgard, allow transactions to be processed off-chain while maintaining the security and finality of on-chain operations. The core principle behind optimistic rollups is to assume transactions are valid by default and only check them if a fraud proof is submitted. This approach significantly reduces the computational load on L1 and improves throughput without compromising security. The Midgard protocol introduces several key components and innovations, including: 1. An on-chain linked list of publishers who manage the L2 state and submit state transitions to the L1; this novel management system allows for trustless participation in the network (anyone can become a publisher) and facilitates trustless fraud proof submissions (fraud proof submission is not limited to just publishers). 2. A State Validator smart contract that maintains the current state, incoming transactions, and next state of the L2 in a compact form via an onchain linked-list of Sparse Merkle trees. This mechanism enables L2 state reversions (in the case of a successful fraud proof submission) to occur in a single transaction that automatically invalidates all incoming transaction batches that stem from the fraudulent batch. 3. A robust challenge-response mechanism for fraud proofs, ensuring that any invalid state transitions can be contested and corrected efficiently. 4. A groundbreaking fraud proof system that operates on the local state of the extended UTxO (EUTxO) model. This system leverages the unique capabilities of the EUTxO model, which are not replicable in Ethereum or other account-based blockchain ecosystems. This innovation enables Midgard to provide cheaper and faster fraud proof submission and verification, tailored specifically to the transaction and state structure of Cardano.
-
-
Anastasia Labs - Cardano scaling with zero-knowledge proofs Checkout our interview with Paul on the topic of Cardano scaling mechanisms and why we are so excited about the new features that Conway brings to Cardano. https://lnkd.in/dvvy44Bj