629 place 0

955 Formal verification of smart contracts in the ConCert framework

Habr
krlzi (Positive Technologies) @ Habr 2 place · 09/05/2024 05:31 EDT

Formal verification of smart contracts in the ConCert framework

Hey! My name's Kirill Ziborov and I'm a member of the Distributed System Security team at Positive Technologies. In this article, I'll be continuing the discussion of methods and tools for the formal verification of smart contracts and their practical application to prevent vulnerabilities. The main focus will be on the deductive verification method, or more precisely, the ConCert framework for testing and verifying smart contracts. Read more

To see detailed statistics for the news please log in »

Read the original

Add your comment
You must be logged in with Facebook to read and write comments.

A newsletter a day!

You may get 10 most important news around midday in daily newsletter. Press the button and we will send you the most important news only, no spam attached.

or register

LIKE us on Facebook so you won't miss the most important news of the day!

News from the same source
Habr Habr
MacRumors
Joe Rossignol @ MacRumors 1 place · today 10:01 EDT

iPhone 17 Pro Models Rumored to Have All-New Unique Color Option

Apple's upcoming iPhone 17 Pro models may have a new copper-like orange color option, according to Sonny Dickson. iPhone 17 Pro in Natural Titanium (concept) In a social media post today, Dickson shared images of alleged lens covers for the rear cameras on the iPhone 17 Pro and iPhone 17 Pro Max models, with the following five color labels: black, gray, silver, dark blue, and orange. The black, gray, and... Read more

2,195 fresh

🔮
14.07.2025 ♏︎ Dear Scorpio, today you can expect a busy and vibrant day filled with important events... Read more ›
Eurogamer.net
Matt Wales @ Eurogamer.net 1 place · today 09:08 EDT

As Stop Killing Games' momentum continues, top EU politician offers support: "A game, once sold, belongs to the customer"

Nicolae Ștefănuță, Romanian poliician and vice president of the European Parliament, has spoken out in support of Stop Killing Games, saying, he "stands with the people" behind the initiative, and that "a game, once sold, belongs to the customer, not the company." Read more Read more

1,495 fresh

Tom's Hardware
Tom's Hardware 1 place · today 06:57 EDT

Passionate enthusiast builds a fully functional processor out of old memory chips — hand-solders every wire, writes 1800 lines of assembler code, and makes it play The Matrix on a VFD display

Someone just built a fully functional CPU from scratch using old memory chips and logic parts from the 8-bit era. Spanning four perfboards and over a kilometer of wire, it runs real code, handles interrupts, and even plays The Matrix—all using logic simulated entirely through EPROMs. Read more

1,056 fresh

Eurogamer.net
Ed Nightingale @ Eurogamer.net 2 place · today 05:03 EDT

Donkey Kong film copyright registered by Nintendo, as gorilla's prominence continues

Nintendo and Universal Pictures have registered the copyright for a Donkey Kong film, suggesting the forthcoming Mario sequel and Legend of Zelda film could be followed by Nintendo's gorilla. Read more Read more

823 fresh

Business Insider
Joey Hadden @ Business Insider 1 place · today 08:58 EDT

I've spent 95 hours on Amtrak trains in 5 different classes, from coach to a bedroom. The best deal was a premium cabin.

I've traveled in five different Amtrak cars: coach, business class, first class, roomettes, and a bedroom. Here's a breakdown of each class. Read more

790 fresh

Business Insider
Emma Cusano @ Business Insider 2 place · today 08:54 EDT

I moved to Denver to be with my husband. We're still together, but I'm returning to New York City alone.

When my husband got a job in Denver, I followed him, but I struggled with the move. I'm going back to NYC and our relationship will be long-distance. Read more

783 fresh

Engadget
Daniel Cooper @ Engadget 1 place · today 09:30 EDT

The UK needs to deal with its e-scooter problem

E-scooters could be a vital tool to eliminate unnecessary car journeys, cutting emissions and journey times. Unfortunately, the UK is the last major European nation to not allow them to be ridden on most public roads. They've proliferated illegally anyway, and are now an issue the country can no longer afford to drag its heels on. The benefits of e-scooters are obvious: They’re cheap to buy and maintain, cost very... Read more

762 fresh

Tom's Hardware
Tom's Hardware 2 place · today 10:02 EDT

New Rowhammer attack silently corrupts AI models on GDDR6 Nvidia cards — 'GPUHammer' attack drops AI accuracy from 80% to 0.1% on RTX A6000

GPUHammer is a new Rowhammer-based attack targeting NVIDIA GPUs with GDDR6 memory. It flips bits in VRAM to silently corrupt AI models, dropping accuracy from 80% to under 1%. NVIDIA urges users to enable ECC, though it slightly reduces performance and available memory. Read more

723 fresh

Engadget
Andre Revilla @ Engadget 2 place · today 09:45 EDT

Apple's AirPods Pro 2 are still on sale at a record-low price

Amazon Prime Day may be officially over, but there are still a lot of great deals hanging around. Apple's AirPods Pro 2 remains deeply discounted at just $149. That's a full $100 off the usual retail price and the lowest price we've ever seen. The second generation of AirPods Pro earned our overall pick for best wireless earbuds for iPhone. We also rated them as the best AirPods overall. In... Read more

690 fresh

TechRadar
TechRadar 1 place · today 09:15 EDT

I only needed to see 30 seconds of James Gunn's Superman to have full confidence in the DCU's Supergirl movie

Supergirl has shot to the top of my most anticipated movies of 2026, and a single scene in James Gunn's Superman film is the reason why. Read more

558 fresh

Gizmodo
James Whitbrook and Gordon Jackson @ Gizmodo 2 place · today 09:05 EDT

At Least One Familiar Face Won’t Be Back for ‘Practical Magic 2’

Plus, Tom Holland talks returning to location filming for 'Spider-Man: Brand New Day'. Read more

556 fresh

Slashdot
msmash @ Slashdot 1 place · today 10:40 EDT

Bay Area Restaurants Are Vetting Your Social Media Before You Even Walk In

Bay Area Michelin-starred restaurants are conducting extensive background research on diners before they arrive, mining social media profiles and maintaining detailed guest databases to personalize dining experiences. Lazy Bear maintains records on 115,000 people and employs a guest services coordinator who creates weekly reports by researching publicly available social media information. Staff study color-coded Google documents containing guest data before each service. SingleThread's reservation team re Read more

549 fresh

Tom's Hardware
Tom's Hardware 3 place · today 07:48 EDT

Google Gemini crumbles in the face of Atari Chess challenge — admits it would 'struggle immensely' against 1.19 MHz machine, says canceling the match most sensible course of action

Google Gemini decided to call off its chess match against the ancient 1.19 Mhz Atari 2600 console after a friendly pre-game reminder about what happened to ChatGPT and Microsoft’s Copilot. Read more

493 fresh

Gizmodo
Luc Olinga @ Gizmodo 3 place · 07/13/2025 16:54 EDT

Trump Is Losing His Army of Internet Alpha Males Over the Epstein Files

A promise to expose a corrupt elite has turned into a perceived cover up, and the powerful online influencers who helped elect Donald Trump are now in open revolt. Read more

468

Business Insider
Lucia Moses @ Business Insider · today 09:00 EDT

Moonvalley raises $84 million from General Catalyst and others to boost AI tools for Hollywood and other creatives

Moonvalley, one of the prominent AI firms working in Hollywood, described how it plans to use new funding to expand its AI video tools. Read more

455 fresh

Irish Tech News
Ronan Leonard @ Irish Tech News 1 place · today 10:00 EDT

Jarvio raises €1.5M – backed by Amazon, Target, Meta execs

Jarvio, the Dublin start-up that puts an AI operator behind every Amazon storefront, has raised €1.5 million in pre-seed funding. Backers include senior executives from Amazon, Target, Wayflyer, Meta and MongoDB; Brian Caulfield and HBAN angel investors; and institutional investors Darius Cubed, Baseline VC, Enterprise Ireland, NDRC and an Accel Scout Fund. The funding will […] Read more

423 fresh

TechRadar
TechRadar 2 place · today 10:00 EDT

Looking for NYT Strands answers and hints? Here's all you need to know to solve today's game, including the spangram. Read more

420 fresh

The most popular news from the same source for the last week
Habr Habr
Habr
ArcaneGamingcom @ Habr 2 place · 07/08/2025 07:09 EDT

How to create UI/UX design for AI chatbots: a few simple tips

With the rising popularity of AI, chatbots are rapidly becoming an essential part of any customer-oriented platform. More and more companies now integrate them into apps and websites, providing a space for their clients to interact with the business itself while taking load off human employees and reducing expenses on the customer support team. At first glance, chatbots might seem pretty uncomplicated in their design and functionality, but creating UI/UX... Read more

0

Habr
Maxilect (Maxilect) @ Habr 1 place · 07/09/2025 04:13 EDT

Когда нужны компромиссы в тестировании

На работе (вне собственных пет-проектов) тестировщик никогда не существует в вакууме - он решает некоторые задачи бизнеса, а значит все решения должны приниматься с оглядкой на финансовую целесообразность. Иногда это противоречит внутреннему перфекционизму. Сегодня расскажу о некоторых неочевидных принципах автоматизированного тестирования, которые сводятся к тому, что иногда необходимо искать компромисс, а не следовать за тем самым перфекционизмом.  Read more Read more

0

Most popular sources

  • You see 474 news out of 474.
  • Sources 61 out of 61.
Gizmodo 30% 8
Business Insider 24% 4
Eurogamer.net 11% 10
Tom's Hardware 8% 3
MacRumors 7% 3
View sources »

LIKE us on Facebook so you won't miss the most important news of the day!

14.07.2025 11:27
Last update: 11:21 EDT.
News rating updated: 18:21.

What is Times42?

Times42 brings you the most popular news from tech news portals in real-time chart.
Read about us in FAQ section.


Times42 © 2025