Odaily Report: Anthropic has released FlashProve, an open-source AI inference verification system based on zero-knowledge proofs (zkSNARK), with StarkWare co-founder Alessandro Chiesa participating in the research. The system leverages cryptographic methods derived from the same lineage as blockchain ZK technology, enabling users to verify whether an AI output was generated by a specified model without obtaining model weights or re-running the model.Anthropic stated that Claude participated in the system optimization, and the relevant code and Lean formal proofs have now been open-sourced. The system is still in the research prototype stage, with the GPU time overhead for proof generation approximately 70–95 times that of ordinary inference.Tests show that FlashProve, on a single H100 GPU, can generate proofs for Meta's 400-billion-parameter model Llama 4 Maverick at a rate of approximately 110 tokens per second, with each proof approximately 19 MB.

Odaily reports: Starknet posted on X that during Token2049, Eli Ben-Sasson raised the question of whether Starknet should transition to an independent L1 to advance the construction of a quantum-safe network. The first round of non-binding community voting concluded on October 22, with results showing overwhelming support for conducting research on the proposal, though the vote itself did not approve a migration or determine a construction plan for the L1. A joint working group composed of StarkWare and the Starknet Foundation is studying the relevant technical benefits, security assumptions, trade-offs, and implications, and will publish a research paper for community review.

Odaily: Abdelhamid Bakhta (@AbdelStark), former ecosystem lead at StarkWare, has announced his departure. He plans to focus on the AI security field going forward. He previously co-led the StarkWare Exploration Team, driving multiple open-source projects and the development of the Starknet developer ecosystem, and was involved in explorations related to Bitcoin, privacy technology, and AI.

Odaily: StarkWare has opened OffMarket to the public, allowing Polymarket users to trade without publicly linking their positions to existing accounts. The service is built on zero-knowledge technology and a shared privacy pool on Starknet, using a non-custodial model where user keys remain in the browser; each account has a deposit cap of 1,000 USDC, and the pool contract has been audited by OpenZeppelin and formally verified. Orders are still matched on Polymarket at the same buyer-seller and market prices, while trade records, positions, order sizes, and history on Polygon remain public, meaning others may still infer trader identity through trade size or timing. OffMarket is not an official Polymarket product but is part of Polymarket's verified Builder program, and it maintains geographic restrictions including a ban on U.S. users; Financial Privacy Inc. holds the master viewing key for sanctions screening and disclosure under lawful requests. Starknet's shared privacy pool currently holds approximately $1.5 million and 17,000 deposits.

Odaily News: Starknet, the Ethereum scaling network built by StarkWare, has stated that it is actively considering transitioning into an independent Layer 1 (L1) network and has set 2027 as its target for becoming the first fully quantum-resistant network. STRK was trading at approximately $0.073 on Friday, up about 20% in 24 hours and more than double its price of around $0.03 in April.StarkWare CEO Eli Ben-Sasson said that after becoming an L1, Starknet would be able to control security upgrades on its own without waiting for Ethereum to advance related work. As a Layer 2 (L2) network, Starknet currently relies on Ethereum for security; after transitioning to an L1, it will validate and secure transactions itself.Eli Ben-Sasson pointed out that quantum computers may in the future break the elliptic curve cryptography used by Bitcoin and Ethereum, and that AI's development in mathematics also poses another risk. Ethereum's roadmap is expected to complete core quantum-resistant infrastructure around 2029, while Starknet plans to move that up to 2027; currently, no quantum computer is capable of breaking these systems. (Decrypt)

Odaily reports that Starknet has published an introduction to its Quantum-Safe Bitcoin (QSB) scheme, stating that StarkWare researchers have verified a quantum-safe locking mechanism on the Bitcoin mainnet that requires no soft fork, no new opcodes, and no changes to consensus rules. The first QSB output was spent on August 26, 2026, in Bitcoin mainnet block 964,199, with the associated GPU computation cost reduced from approximately $320 to about $50. QSB builds its locking mechanism through hash computation, but each transaction still requires substantial computation, and moving assets into the scheme still requires a traditional transaction that carries quantum risk. The transaction does not comply with Bitcoin Core's default relay rules, and there is currently no accompanying wallet, address format, or recovery process. StarkWare stated that QSB is an emergency research solution, and that the long-term solution still requires the introduction of post-quantum signature mechanisms via a soft fork. Starknet's full quantum resistance also depends on the progress of Ethereum's underlying upgrades.

Odaily News: Researchers from institutions including the Ethereum Foundation, Theta Labs, and StarkWare have jointly published a paper, using AI coding agents to deeply optimize the core operations of Shor's algorithm. The computing resources required for a potential quantum attack on Bitcoin and Ethereum (secp256k1 cryptographic system) have been reduced by more than 50% compared to Google's benchmark in March of this year. The number of logical qubits required for the circuit has been compressed to 1,151, and later versions have even been reduced to 813. Although current quantum hardware still cannot directly break public chains, the research shows that pure algorithmic optimization is significantly narrowing the time window for the quantum threat. The researchers emphasize that quantum-resistant upgrades take a long time and cannot be applied retroactively, and the industry needs to prepare defenses in advance. (Coindesk)

Odaily Planet Daily News: Blockchain technology company Starkware stated that on August 26, a transaction using researcher Avihu Levy's Quantum-Safe Bitcoin (QSB) scheme was mined on the Bitcoin mainnet, without requiring a soft fork, hard fork, or modification of consensus rules.The transaction consumed 10,000 sats and was processed through MARA Foundation's Slipstream service, as the non-standard format typically cannot propagate through Bitcoin's public mempool. The test consumed several hours of GPU computation, costing approximately $150 to $200.QSB employs hash-based quantum-resistant spending conditions and reduces quantum attack risks through signature trial mining, but still requires users to proactively migrate funds and cannot protect assets whose public keys have already been exposed. Starkware CEO Eli Ben-Sasson still supports introducing a protocol-level solution via a soft fork. (Bitcoin.com News)

Odaily News: Avihu Levy of StarkWare used signature grinding techniques to protect public key data while ensuring transactions remain secure in the Bitcoin mempool, providing a second layer of security for assets.

Odaily News: Starknet announced the completion of a quantum-resistant signature transfer test. A wallet account using quantum-resistant signature mechanisms completed a real transfer on the Starknet mainnet, with transaction fees of approximately 6 US cents, and the transaction can be queried via a block explorer. This account is currently an experimental, unaudited version intended primarily for research and testing.StarkWare stated that this transfer was made possible by Starknet's account model design. Unlike most blockchains that fix the signature algorithm at the protocol layer, each Starknet account is a smart contract that can autonomously define which signature schemes it accepts. As a result, users can upgrade their wallets from traditional elliptic curve signatures to quantum-resistant signatures without a hard fork, without migrating assets, and without changing their addresses.StarkWare pointed out that most blockchains face quantum computing risks because both wallet signatures and the underlying verification systems rely on elliptic curve cryptography. Once large-scale quantum computers emerge, running Shor's algorithm could break the associated cryptographic systems. Currently, the Starknet ecosystem already supports a quantum-resistant signature scheme based on Falcon-512, which is part of the NIST post-quantum cryptography standardization framework. The relevant implementation has been advanced by ecosystem teams and organizations such as OpenZeppelin.