{"schema_version":"onlylabs.public_signal.v1","title":"Scaleway Writing: Smart-proven contracts","description":"Scaleway writing signal with public source context, captured evidence pages, related signals, and category-scoped analysis context.","url":"https://onlylabs.fyi/signals/8d9c3489-4230-4ac3-9146-8c199495bd37","json_url":"https://onlylabs.fyi/signals/8d9c3489-4230-4ac3-9146-8c199495bd37/signal.json","generated_at":"2026-06-08T15:45:52.713+00:00","org":{"slug":"scaleway","name":"Scaleway","category":"neocloud","category_label":"Neocloud","dossier_url":"https://onlylabs.fyi/labs/scaleway","dossier_json_url":"https://onlylabs.fyi/labs/scaleway/dossier.json"},"related_urls":{"signal":"https://onlylabs.fyi/signals/8d9c3489-4230-4ac3-9146-8c199495bd37","signal_json":"https://onlylabs.fyi/signals/8d9c3489-4230-4ac3-9146-8c199495bd37/signal.json","source":"https://www.scaleway.com/en/blog/smart-proven-contracts/","lab_dossier":"https://onlylabs.fyi/labs/scaleway","lab_dossier_json":"https://onlylabs.fyi/labs/scaleway/dossier.json","analysis":"https://onlylabs.fyi/analysis/scaleway","analysis_json":"https://onlylabs.fyi/analysis/scaleway/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/scaleway/evidence.json","category":"https://onlylabs.fyi/neoclouds","category_json":"https://onlylabs.fyi/neoclouds.json","category_feed":"https://onlylabs.fyi/neoclouds/feed.xml","category_signals_json":"https://onlylabs.fyi/signals.json?category=neocloud","topic":"https://onlylabs.fyi/topics/talking","topic_signals_json":"https://onlylabs.fyi/topics/talking/signals.json?category=neocloud","topic_feed":"https://onlylabs.fyi/topics/talking/feed.xml?category=neocloud","data_business":null},"answer_pack":{"answer":"Scaleway published Smart-proven contracts. This talking signal gives public context for research themes, product direction, policy, or launch framing. High-signal details: Substantive technical blog post · Short Paper: Formal Verification of Smart Contracts Karthikeyan Bhargavan2 Antoine Delignat-Lavaud1 Cedric Fournet ´ 1 Anitha Gollamudi3 Georges Gonthier1 Nadim.... onlylabs links this event to 2 captured evidence pages and 6 related writing signals.","signal_desk":"talking","source_context":{"source_url":"https://www.scaleway.com/en/blog/smart-proven-contracts/","source_host":"scaleway.com","occurred_at":"2025-01-07T00:00:00+00:00","first_seen_at":"2026-06-05T22:32:15.955798+00:00","date_source":"source","context":null},"context_markers":[{"label":"Lab","value":"Scaleway","source":"signal"},{"label":"Signal desk","value":"talking","source":"signal"},{"label":"Source host","value":"scaleway.com","source":"source"},{"label":"Author","value":"Valentin Macheret","source":"source"},{"label":"PDF","value":"linked report","source":"source"},{"label":"Notability","value":"Substantive technical blog post","source":"signal"},{"label":"Watch term","value":"Infrastructure","source":"evidence"},{"label":"Watch term","value":"Safety and alignment","source":"evidence"},{"label":"Watch term","value":"Agents and tool use","source":"evidence"}],"evidence_coverage":{"target_pages":2,"captured_pages":2,"readable_pages":2,"capture_methods":["exa","plain"],"missing_page_urls":[],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://www.scaleway.com/en/blog/smart-proven-contracts/","https://www.cs.umd.edu/~aseem/solidetherplas.pdf"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-06-08T15:45:52.713+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/8d9c3489-4230-4ac3-9146-8c199495bd37/signal.json","dossier_json":"https://onlylabs.fyi/labs/scaleway/dossier.json","analysis_json":"https://onlylabs.fyi/analysis/scaleway/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/scaleway/evidence.json","topic_signals_json":"https://onlylabs.fyi/topics/talking/signals.json?category=neocloud","topic_feed":"https://onlylabs.fyi/topics/talking/feed.xml?category=neocloud","category_signals_json":"https://onlylabs.fyi/signals.json?category=neocloud","data_radar_json":null,"opportunities_json":null},"analysis_playbook":{"objective":"Turn public writing and discussion into a readable map of research themes, product framing, policy posture, launch narratives, and market attention.","evidence_focus":["post title","source URL","captured page text","HN traction","linked model or paper references","publication date"],"extraction_questions":["Which themes are labs choosing to explain publicly?","Which posts are attracting outside discussion?","Which writing reframes a recent release, model, hiring wave, or policy stance?","Which posts mention data, evals, infrastructure, safety, or deployment workflows?"],"signal_questions":["What public theme, launch framing, or research direction does this writing signal expose?","Which themes are labs choosing to explain publicly?","Which posts are attracting outside discussion?","Do the 6 related writing signals show a repeated pattern?"],"output_fields":["org","theme","public_framing","traction","evidence_url"],"data_business_relevance":"Data-business lane extraction is scoped to frontier labs; for this category, keep conclusions tied to category-specific strategy, source evidence, and follow-up questions.","required_sources":[{"label":"signal_json","url":"https://onlylabs.fyi/signals/8d9c3489-4230-4ac3-9146-8c199495bd37/signal.json","required":true},{"label":"source","url":"https://www.scaleway.com/en/blog/smart-proven-contracts/","required":true},{"label":"dossier_json","url":"https://onlylabs.fyi/labs/scaleway/dossier.json","required":true},{"label":"analysis_evidence_json","url":"https://onlylabs.fyi/analysis/scaleway/evidence.json","required":true},{"label":"topic_signals_json","url":"https://onlylabs.fyi/topics/talking/signals.json?category=neocloud","required":false},{"label":"data_radar_json","url":null,"required":false}],"expected_output":["one-paragraph source-grounded interpretation","category-specific implication","confidence and missing evidence","recommended next source to inspect"],"prompt_seed":"Using only the linked onlylabs JSON, captured source context, and cited evidence, analyze Scaleway's writing signal \"Smart-proven contracts\" for neocloud strategy."},"semantic_triples":[{"subject":"Scaleway","predicate":"published","object":"Smart-proven contracts","text":"Scaleway published Smart-proven contracts."},{"subject":"Smart-proven contracts","predicate":"is classified as","object":"writing signal","text":"Smart-proven contracts is classified as writing signal."},{"subject":"Smart-proven contracts","predicate":"belongs to","object":"talking desk","text":"Smart-proven contracts belongs to talking desk."},{"subject":"Smart-proven contracts","predicate":"has evidence coverage","object":"2 captured evidence pages","text":"Smart-proven contracts has evidence coverage 2 captured evidence pages."},{"subject":"Smart-proven contracts","predicate":"has captured page count","object":"2","text":"Smart-proven contracts has captured page count 2."},{"subject":"Smart-proven contracts","predicate":"has readable page count","object":"2","text":"Smart-proven contracts has readable page count 2."},{"subject":"Smart-proven contracts","predicate":"has related signal count","object":"6","text":"Smart-proven contracts has related signal count 6."},{"subject":"Smart-proven contracts","predicate":"has analysis playbook objective","object":"Turn public writing and discussion into a readable map of research themes, product framing, policy posture, launch narratives, and market attention.","text":"Smart-proven contracts has analysis playbook objective Turn public writing and discussion into a readable map of research themes, product framing, policy posture, launch narratives, and market attention.."},{"subject":"Smart-proven contracts","predicate":"has source host","object":"scaleway.com","text":"Smart-proven contracts has source host scaleway.com."},{"subject":"Smart-proven contracts","predicate":"has lab","object":"Scaleway","text":"Smart-proven contracts has lab Scaleway."},{"subject":"Smart-proven contracts","predicate":"has signal desk","object":"talking","text":"Smart-proven contracts has signal desk talking."},{"subject":"Smart-proven contracts","predicate":"has source host","object":"scaleway.com","text":"Smart-proven contracts has source host scaleway.com."},{"subject":"Smart-proven contracts","predicate":"has author","object":"Valentin Macheret","text":"Smart-proven contracts has author Valentin Macheret."},{"subject":"Smart-proven contracts","predicate":"has pdf","object":"linked report","text":"Smart-proven contracts has pdf linked report."},{"subject":"Smart-proven contracts","predicate":"has notability","object":"Substantive technical blog post","text":"Smart-proven contracts has notability Substantive technical blog post."},{"subject":"Smart-proven contracts","predicate":"has watch term","object":"Infrastructure","text":"Smart-proven contracts has watch term Infrastructure."},{"subject":"Smart-proven contracts","predicate":"has watch term","object":"Safety and alignment","text":"Smart-proven contracts has watch term Safety and alignment."}]},"intelligence":{"signal_desk":"talking","answer":"Scaleway published Smart-proven contracts. This talking signal gives public context for research themes, product direction, policy, or launch framing. High-signal details: Substantive technical blog post · Short Paper: Formal Verification of Smart Contracts Karthikeyan Bhargavan2 Antoine Delignat-Lavaud1 Cedric Fournet ´ 1 Anitha Gollamudi3 Georges Gonthier1 Nadim.... onlylabs links this event to 2 captured evidence pages and 6 related writing signals.","semantic_triples":[{"subject":"Scaleway","predicate":"published","object":"Smart-proven contracts","text":"Scaleway published Smart-proven contracts."},{"subject":"Smart-proven contracts","predicate":"is classified as","object":"writing signal","text":"Smart-proven contracts is classified as writing signal."},{"subject":"Smart-proven contracts","predicate":"belongs to","object":"talking desk","text":"Smart-proven contracts belongs to talking desk."},{"subject":"Smart-proven contracts","predicate":"has evidence coverage","object":"2 captured evidence pages","text":"Smart-proven contracts has evidence coverage 2 captured evidence pages."}]},"signal":{"id":"8d9c3489-4230-4ac3-9146-8c199495bd37","url":"https://onlylabs.fyi/signals/8d9c3489-4230-4ac3-9146-8c199495bd37","json_url":"https://onlylabs.fyi/signals/8d9c3489-4230-4ac3-9146-8c199495bd37/signal.json","source_url":"https://www.scaleway.com/en/blog/smart-proven-contracts/","title":"Smart-proven contracts","summary":"Scaleway published a writing signal. onlylabs watches public writing for research themes, product direction, and model-launch context.","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"scaleway","name":"Scaleway","category":"neocloud"},"occurred_at":"2025-01-07T00:00:00+00:00","first_seen_at":"2026-06-05T22:32:15.955798+00:00","date_source":"source","evidence_coverage":{"target_pages":2,"captured_pages":2,"readable_pages":2,"capture_methods":["exa","plain"],"missing_page_urls":[],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://www.scaleway.com/en/blog/smart-proven-contracts/","https://www.cs.umd.edu/~aseem/solidetherplas.pdf"]},"facets":{},"traction":{"github_stars":null,"hn_points":null,"hn_comments":null,"hn_story_id":null,"hf_downloads":null,"hf_likes":null},"data_radar":null},"primary_evidence_page":{"url":"https://www.scaleway.com/en/blog/smart-proven-contracts/","final_url":"https://www.scaleway.com/en/blog/smart-proven-contracts/","title":"Smart-proven contracts","http_status":200,"content_type":"text/html; charset=utf-8","capture_method":"plain","fetched_at":"2026-06-07T21:16:14.559024+00:00","bytes":200562,"raw_path":"cc0facae54cfcd0f549153f035d913d2243f6cb46cb1af9cee9b500401281bf7.html","content_hash":"ab8eec70e20035f4f81c125c9b9fa78b3414a4197876ac3a7827f6b725ef515e","excerpt_chars":1200,"truncated":true,"excerpt":"Smart-proven contracts Build • Valentin Macheret • 07/01/25 • 5 min read In the decentralized-storage ecosystem, a specific type of program is used for storage access: smart contracts. They are used for anything to read or write over a public decentralized database (aka blockchain). They are deployed over multiple nodes of a network and will be executed when needed (for record, trade, election, any kind of process...). Smart contracts are intended to be in charge of the integrity of the data and transaction, that makes them particularly critical, like a 'real contract'. New kinds of tools are slowly making their way to ensure smart-contract reliability. Let's see how. Criticality of smart contracts One fundamental leitmotiv of a blockchain is trustlessness: you don't need to trust someone in particular to interact with (indeed, the trust is shared because decisions are decentralized, data are immutable, there is voting by consensus...). However, smart contracts are still basic programs. They can be buggy or malicious. They easily broke this trustless principle. One way to be sure that a smart contract is really doing well could be resolved by introducing a lot..."},"evidence_pages":[{"url":"https://www.cs.umd.edu/~aseem/solidetherplas.pdf","final_url":"https://www.cs.umd.edu/~aseem/solidetherplas.pdf","title":"Smart-proven contracts","http_status":200,"content_type":null,"capture_method":"exa","fetched_at":"2026-06-08T15:45:52.713+00:00","bytes":null,"raw_path":null,"content_hash":null,"excerpt_chars":1200,"truncated":true,"excerpt":"Short Paper: Formal Verification of Smart Contracts Karthikeyan Bhargavan2 Antoine Delignat-Lavaud1 Cedric Fournet ´ 1 Anitha Gollamudi3 Georges Gonthier1 Nadim Kobeissi2 Aseem Rastogi1 Thomas Sibut-Pinote2 Nikhil Swamy1 Santiago Zanella-Beguelin ´ 1 1Microsoft Research 2 Inria 3Harvard University {antdl,fournet,gonthier,aseemr,nswamy,santiago}@microsoft.com {karthikeyan.bhargavan,nadim.kobeissi,thomas.sibut-pinote}@inria.fr agollamudi@g.harvard.edu Abstract Ethereum is a cryptocurrency framework that uses blockchain technology to provide an open distributed computing plat\u0002form, called the Ethereum Virtual Machine (EVM). EVM programs are written in bytecode which operates on a sim\u0002ple stack machine. Programmers do not usually write EVM code; instead, they can program in a JavaScript-like lan\u0002guage called Solidity that compiles to bytecode. Since the main application of EVM programs is assmart contractsthat manage and transfer digital assets, security is of paramount importance. However, writing trustworthy smart contracts can be extremely difficult due to the intricate semantics of EVM and its openness: both programs and pseudonymous users can call into the public methods of other..."},{"url":"https://www.scaleway.com/en/blog/smart-proven-contracts/","final_url":"https://www.scaleway.com/en/blog/smart-proven-contracts/","title":"Smart-proven contracts","http_status":200,"content_type":"text/html; charset=utf-8","capture_method":"plain","fetched_at":"2026-06-07T21:16:14.559024+00:00","bytes":200562,"raw_path":"cc0facae54cfcd0f549153f035d913d2243f6cb46cb1af9cee9b500401281bf7.html","content_hash":"ab8eec70e20035f4f81c125c9b9fa78b3414a4197876ac3a7827f6b725ef515e","excerpt_chars":1200,"truncated":true,"excerpt":"Smart-proven contracts Build • Valentin Macheret • 07/01/25 • 5 min read In the decentralized-storage ecosystem, a specific type of program is used for storage access: smart contracts. They are used for anything to read or write over a public decentralized database (aka blockchain). They are deployed over multiple nodes of a network and will be executed when needed (for record, trade, election, any kind of process...). Smart contracts are intended to be in charge of the integrity of the data and transaction, that makes them particularly critical, like a 'real contract'. New kinds of tools are slowly making their way to ensure smart-contract reliability. Let's see how. Criticality of smart contracts One fundamental leitmotiv of a blockchain is trustlessness: you don't need to trust someone in particular to interact with (indeed, the trust is shared because decisions are decentralized, data are immutable, there is voting by consensus...). However, smart contracts are still basic programs. They can be buggy or malicious. They easily broke this trustless principle. One way to be sure that a smart contract is really doing well could be resolved by introducing a lot..."}],"related_signals":[{"id":"b0ad8b34-33f4-455d-b0bc-9c40f34e08e5","url":"https://onlylabs.fyi/signals/b0ad8b34-33f4-455d-b0bc-9c40f34e08e5","source_url":"https://www.scaleway.com/en/blog/secnumcloud-strategic-challenges/","title":"SecNumCloud: The Strategic Challenges of The Qualification","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"scaleway","name":"Scaleway","category":"neocloud"},"occurred_at":"2026-05-18T00:00:00+00:00","first_seen_at":"2026-06-05T22:32:15.955798+00:00","date_source":"source"},{"id":"1ebc5528-9bd0-4245-8610-f28f9e3c5701","url":"https://onlylabs.fyi/signals/1ebc5528-9bd0-4245-8610-f28f9e3c5701","source_url":"https://www.scaleway.com/en/blog/what-is-file-storage/","title":"What is File Storage ?","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"scaleway","name":"Scaleway","category":"neocloud"},"occurred_at":"2026-05-11T00:00:00+00:00","first_seen_at":"2026-06-05T22:32:15.955798+00:00","date_source":"source"},{"id":"25d2fe5f-0386-4230-88d5-a8441b913ea5","url":"https://onlylabs.fyi/signals/25d2fe5f-0386-4230-88d5-a8441b913ea5","source_url":"https://www.scaleway.com/en/blog/secnumcloud-trusted-cloud-standard/","title":"SecNumCloud: Understanding the trusted cloud standard","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"scaleway","name":"Scaleway","category":"neocloud"},"occurred_at":"2026-05-11T00:00:00+00:00","first_seen_at":"2026-06-05T22:32:15.955798+00:00","date_source":"source"},{"id":"5ab5596e-ffbc-4a9e-84f9-cb54758bd5ff","url":"https://onlylabs.fyi/signals/5ab5596e-ffbc-4a9e-84f9-cb54758bd5ff","source_url":"https://www.scaleway.com/en/blog/risc-v-servers-in-the-cloud/","title":"How Scaleway brought the first RISC-V servers to the cloud","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"scaleway","name":"Scaleway","category":"neocloud"},"occurred_at":"2026-05-04T00:00:00+00:00","first_seen_at":"2026-06-05T22:32:15.955798+00:00","date_source":"source"},{"id":"868f0aa0-2b52-47bf-afa3-5b656454f763","url":"https://onlylabs.fyi/signals/868f0aa0-2b52-47bf-afa3-5b656454f763","source_url":"https://www.scaleway.com/en/blog/updates-on-top-level-domain-tld-price-list/","title":"Updates on Top-Level Domain (TLD) price list","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"scaleway","name":"Scaleway","category":"neocloud"},"occurred_at":"2026-04-27T00:00:00+00:00","first_seen_at":"2026-06-05T22:32:15.955798+00:00","date_source":"source"},{"id":"ee327ff2-954d-407d-8d37-447f25d5ddf5","url":"https://onlylabs.fyi/signals/ee327ff2-954d-407d-8d37-447f25d5ddf5","source_url":"https://www.scaleway.com/en/blog/a-transparent-update-on-scaleway-pricing/","title":"A transparent update on Scaleway pricing","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"scaleway","name":"Scaleway","category":"neocloud"},"occurred_at":"2026-04-27T00:00:00+00:00","first_seen_at":"2026-06-05T22:32:15.955798+00:00","date_source":"source"}]}