Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Quantum Numbers02:43

Quantum Numbers

45.5K
It is said that the energy of an electron in an atom is quantized; that is, it can be equal only to certain specific values and can jump from one energy level to another but not transition smoothly or stay between these levels.
45.5K
Relation between Mathematical Equations and Block Diagrams01:20

Relation between Mathematical Equations and Block Diagrams

2.3K
In a spring-mass-damper system, the second-order differential equation describes the dynamic behavior of the system. When transformed into the Laplace domain under zero initial conditions, this equation can be effectively analyzed and manipulated. The transformation into the Laplace domain converts differential equations into algebraic equations, simplifying the process of isolating the output.
2.3K
The Quantum-Mechanical Model of an Atom02:45

The Quantum-Mechanical Model of an Atom

53.3K
Shortly after de Broglie published his ideas that the electron in a hydrogen atom could be better thought of as being a circular standing wave instead of a particle moving in quantized circular orbits, Erwin Schrödinger extended de Broglie’s work by deriving what is now known as the Schrödinger equation. When Schrödinger applied his equation to hydrogen-like atoms, he was able to reproduce Bohr’s expression for the energy and, thus, the Rydberg formula governing hydrogen spectra.
53.3K
Ampere-Maxwell's Law: Problem-Solving01:17

Ampere-Maxwell's Law: Problem-Solving

825
A parallel-plate capacitor with capacitance C, whose plates have area A and separation distance d, is connected to a resistor R and a battery of voltage V. The current starts to flow at t = 0. What is the displacement current between the capacitor plates at time t? From the properties of the capacitor, what is the corresponding real current?
To solve the problem, we can use the equations from the analysis of an RC circuit and Maxwell's version of Ampère's law.
For the first part of...
825
Phasor Arithmetics01:13

Phasor Arithmetics

449
Phasors and their corresponding sinusoids are interrelated, offering unique insights into the behavior of alternating current (AC) circuits. One way to understand this relationship is through the operations of differentiation and integration in both the time and phasor domains.
When the derivative of a sinusoid is taken in the time domain, it transforms into its corresponding phasor multiplied by j-omega (jω) in the phasor domain, where j is the imaginary unit, and ω is the angular...
449
Ampere's Law: Problem-Solving01:31

Ampere's Law: Problem-Solving

3.7K
Ampere's law states that for any closed looped path, the line integral of the magnetic field along the path equals the vacuum permeability times the current enclosed in the loop. If the fingers of the right hand curl along the direction of the integration path, the current in the direction of the thumb is considered positive. The current opposite to the thumb direction is considered negative.
Specific steps need to be considered while calculating the symmetric magnetic field distribution...
3.7K

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Schrödinger's Ballot: Quantum Information and the Violation of Arrow's Impossibility Theorem.

Entropy (Basel, Switzerland)·2021
Same author

A First Step to the Categorical Logic of Quantum Programs.

Entropy (Basel, Switzerland)·2020
Same author

Multi-Party Quantum Byzantine Agreement without Entanglement.

Entropy (Basel, Switzerland)·2020
Same author

Lottery and Auction on Quantum Blockchain.

Entropy (Basel, Switzerland)·2020
Same author

Computational Chemistry Data Management Platform Based on the Semantic Web.

The journal of physical chemistry. A·2016
Same journal

Research on a Regional Availability Evaluation Model for Road-Area High-Entropy Energy Based on Synergy Factors.

Entropy (Basel, Switzerland)·2026
Same journal

Atmospheric Turbulence Channel Modeling and Performance Analysis of a CO-ZP-OFDM Coherent Optical Communication System for UAV Air-to-Ground Scenarios.

Entropy (Basel, Switzerland)·2026
Same journal

Information Geometry and Asymptotic Theory for SMML Estimators.

Entropy (Basel, Switzerland)·2026
Same journal

Correlation Entropy and Power-Law Kinetics.

Entropy (Basel, Switzerland)·2026
Same journal

Research on the Contagion of Systemic Financial Risk Under the Impact of Climate Risks-From the Perspective of Complex Networks and Machine Learning.

Entropy (Basel, Switzerland)·2026
Same journal

The Statistical-Mechanical Meaning of the Wave Function of Quantum Mechanics.

Entropy (Basel, Switzerland)·2026
See all related articles

Related Experiment Video

Updated: Oct 18, 2025

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit
05:30

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

796

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain.

Xin Sun1, Piotr Kulicki1, Mirek Sopek2

  • 1Department of the Foundations of Computer Science, The John Paul Catholic University of Lublin, 20-502 Lublin, Poland.

Entropy (Basel, Switzerland)
|September 28, 2021
PubMed
Summary
This summary is machine-generated.

This study enhances smart contract design using answer set programming (ASP) and post-quantum cryptography. This approach improves security and functionality for quantum-secured blockchain applications.

Keywords:
logic programmingquantum blockchainsmart contract

More Related Videos

Generation and Coherent Control of Pulsed Quantum Frequency Combs
06:42

Generation and Coherent Control of Pulsed Quantum Frequency Combs

Published on: June 8, 2018

9.3K
Scalable Quantum Integrated Circuits on Superconducting Two-Dimensional Electron Gas Platform
05:39

Scalable Quantum Integrated Circuits on Superconducting Two-Dimensional Electron Gas Platform

Published on: August 2, 2019

9.8K

Related Experiment Videos

Last Updated: Oct 18, 2025

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit
05:30

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

796
Generation and Coherent Control of Pulsed Quantum Frequency Combs
06:42

Generation and Coherent Control of Pulsed Quantum Frequency Combs

Published on: June 8, 2018

9.3K
Scalable Quantum Integrated Circuits on Superconducting Two-Dimensional Electron Gas Platform
05:39

Scalable Quantum Integrated Circuits on Superconducting Two-Dimensional Electron Gas Platform

Published on: August 2, 2019

9.8K

Area of Science:

  • Computer Science
  • Cryptography
  • Blockchain Technology

Background:

  • Smart contracts are crucial for blockchain applications.
  • Existing logic-based frameworks like Logicontract (LC) have limitations in security and functionality.
  • The advent of quantum computing necessitates quantum-resistant cryptographic solutions.

Purpose of the Study:

  • To extend the Logicontract (LC) framework using Answer Set Programming (ASP).
  • To develop advanced smart contracts with enhanced security and functionality.
  • To integrate post-quantum cryptography for future-proof blockchain security.

Main Methods:

  • Utilizing Answer Set Programming (ASP) for declarative logic programming.
  • Implementing smart contracts for conditional payments, commitments, lotteries, and legal services.
  • Integrating lattice-based public key encryption and signature schemes for post-quantum security.

Main Results:

  • Demonstrated the capability of ASP to create diverse and complex smart contracts.
  • Successfully integrated post-quantum cryptographic primitives into the smart contract framework.
  • Overcame the limitations of LC's signature scheme by adopting quantum-resistant cryptography.

Conclusions:

  • ASP provides a powerful and flexible approach for designing secure smart contracts.
  • The proposed framework offers enhanced security against quantum threats.
  • This research paves the way for more robust and secure quantum-secured blockchain systems.