INTERACTIVE PROOF: VERIFICATION AND GENERATION OF NEW MATHEMATICAL KNOWLEDGE

2020 ◽  
Keyword(s):  
Mathematical Knowledge ◽  
Interactive Proof ◽  
Proof Verification

scholarly journals Implementasi Zero Knowledge Proof Menggunakan Protokol Feige Fiat Shamir Untuk Verifikasi Tiket Rahasia

2016 ◽  
Vol 7 (2) ◽  
pp. 91-97
Author(s):  
Willy Sudiarto Raharjo ◽  
Dessy Sutanti
Keyword(s):  
Information Security ◽  
Interactive Proof ◽  
Zero Knowledge ◽  
Confidential Information ◽  
Identity Verification ◽  
Verification Method ◽  
Index Terms ◽  
Proof Verification ◽  
Security Property ◽  
Zero Knowledge Proof

Cryptography is known for it’s ability to protect confidential information, but it can also be used for other purposes. One of them is for identity verification or authentication. One of the biggest disadvantages of traditional authencation method is at the end of the session, the verifier knows about secrets which is supposed to be known only by prover. In this paper, we implemented a ZeroKnowledge Proof-based secret ticket verification system using Feige Fiat Shamir protocol. The goal of this system is to help prover identified themselves to the verifier, but also prevent the verifier to understand anything about the prover’s secret information. The system is also able to prevent ticket duplication or double-use of tickets by using an interactive proof verification method. By combining it with cryptography, not only we can achieve completeness and soundness property of Zero-Knowledge Proof, but we can also achieve information security property. Index Terms - Feige Flat Shamir, Verification, Zero Knowledge Proof.

Mathematics Textbook as an Object of Research/Matematički udžbenik kao predmet istraživanja

2014 ◽  
Vol 16 ◽  
Author(s):  
Dubravka Glasnović Gracin
Keyword(s):  
Mathematics Education ◽  
Mathematical Knowledge ◽  
Empirical Studies ◽  
Mathematics Textbooks ◽  
Mathematics Textbook ◽  
Mathematics Book

AbstractA mathematics textbook can be described as an officially authorized and pedagogically designed mathematics book written to provide mathematical knowledge to students. This description suggests the authority of the textbook - because it has been authorized by an administrative source and because it deals with authorized knowledge. This paper provides an overview of research on mathematics textbooks. The emphasis is on questions concerning the extent to which and how textbooks are used in mathematics education in Croatia and in the world.Research results show that mathematics textbooks are widely used in mathematics education worldwide. This finding points to the need for research on the content and structure of textbooks. Such studies are combined with the associated results on how textbooks are used in the classroom and which methods teachers apply in using textbooks in mathematics education. The results of the empirical studies show that teachers use textbooks for lesson preparation and pupils use mathematics textbooks for exercises to a great extent. These results imply that such an important role of textbooks in mathematics education deserves additional attention, with the goal of understanding and improving mathematics education.Key words: mathematics education; overview; research on textbook---SažetakMatematički udžbenik može se opisati kao službeno autorizirana i pedagoki osmiljena matematička knjiga napisana s ciljem da učenicima ponudi matematičke sadržaje. Taj opis sugerira autoritet udžbenika jer ga je autorizirao administrativni izvor i jer sadrži autorizirano znanje. Ovaj članak daje pregled istraživanja matematičkih udžbenika, a naglasak je na pitanjima u kojoj mjeri i kako se udžbenici koriste u nastavi matematike u Hrvatskoj i u svijetu.Rezultati raznih istraživanja pokazuju da se udžbenici u velikoj mjeri koriste u nastavi matematike irom svijeta. Taj nalaz ukazuje na potrebu za istraživanjem sadržaja i strukture matematičkih udžbenika. Uz to, prikazani su rezultati istraživanja o tome na koji se način udžbenici koriste u razredu i koje metode nastavnici prakticiraju prilikom upotrebe udžbenika na nastavi. Rezultati empirijskih studija pokazuju da nastavnici udžbenike većinom koriste za pripremu nastavnog sata, a učenici udžbenike koriste u najvećoj mjeri za vježbanje. Ti rezultati ukazuju na to da tako važna uloga udžbenika u matematičkom obrazovanju zaslužuje dodatnu pažnju s ciljem razumijevanja i poboljanja nastave matematike.Ključne riječi: istraživanje udžbenika; nastava matematike; pregled.

Mathematical Knowledge and the Interplay of Practices

2015 ◽  
Author(s):  
José Ferreirós
Keyword(s):  
Mathematical Knowledge ◽  
A Priori ◽  
Philosophy Of Mathematics ◽  
Advanced Mathematics ◽  
New Approach ◽  
Agent Based ◽  
Epistemology Of Mathematics ◽  
Actual Experience ◽  
Elementary Math ◽  
Mathematical Tradition

This book presents a new approach to the epistemology of mathematics by viewing mathematics as a human activity whose knowledge is intimately linked with practice. Charting an exciting new direction in the philosophy of mathematics, the book uses the crucial idea of a continuum to provide an account of the development of mathematical knowledge that reflects the actual experience of doing math and makes sense of the perceived objectivity of mathematical results. Describing a historically oriented, agent-based philosophy of mathematics, the book shows how the mathematical tradition evolved from Euclidean geometry to the real numbers and set-theoretic structures. It argues for the need to take into account a whole web of mathematical and other practices that are learned and linked by agents, and whose interplay acts as a constraint. It demonstrates how advanced mathematics, far from being a priori, is based on hypotheses, in contrast to elementary math, which has strong cognitive and practical roots and therefore enjoys certainty. Offering a wealth of philosophical and historical insights, the book challenges us to rethink some of our most basic assumptions about mathematics, its objectivity, and its relationship to culture and science.

Secure Cloud Quantum Computing with Verification Based on Quantum Interactive Proof

Impact ◽  
2019 ◽  
Vol 2019 (10) ◽  
pp. 30-32
Author(s):  
Tomoyuki Morimae
Keyword(s):  
Quantum Computing ◽  
Quantum Information ◽  
Theoretical Physics ◽  
View Point ◽  
Research Subjects ◽  
Interactive Proof ◽  
Open Problems ◽  
Main Research ◽  
Proof Systems ◽  
Information Group

In cloud quantum computing, a classical client delegate quantum computing to a remote quantum server. An important property of cloud quantum computing is the verifiability: the client can check the integrity of the server. Whether such a classical verification of quantum computing is possible or not is one of the most important open problems in quantum computing. We tackle this problem from the view point of quantum interactive proof systems. Dr Tomoyuki Morimae is part of the Quantum Information Group at the Yukawa Institute for Theoretical Physics at Kyoto University, Japan. He leads a team which is concerned with two main research subjects: quantum supremacy and the verification of quantum computing.

scholarly journals Characterizing Mathematics Learning in Colombian Higher Distance Education

Mathematics ◽  
2021 ◽  
Vol 9 (15) ◽  
pp. 1740
Author(s):  
Elizabeth Martinez-Villarraga ◽  
Isabel Lopez-Cobo ◽  
David Becerra-Alonso ◽  
Francisco Fernández-Navarro
Keyword(s):  
Higher Education ◽  
Learning Strategies ◽  
Cultural Context ◽  
Mathematical Knowledge ◽  
Mixed Methods Research ◽  
Mathematics Learning ◽  
Sequential Design ◽  
Education Students ◽  
Approach To Learning ◽  
Conditional Knowledge

The aim of this work is to characterize the process of constructing mathematical knowledge by higher education students in a distance learning course. This was done as part of an algebra course within engineering degrees in a Colombian university. The study used a Transformative Sequential Design in mixed methods research. The analysis also determined the kinds of mathematical knowledge attained by the students and its relationship to the Colombian social and cultural context. The students acquired declarative, procedural, and conditional knowledge, while the learning strategies were often superficial. In a context where power is distant, students take on a passive approach to learning despite being highly respectful towards the educator. Thus, the educational system has the educator at the center.

scholarly journals Strategic competence for multistep fraction word problems: an overlooked aspect of mathematical knowledge for teaching

2021 ◽  
Author(s):  
Yasemin Copur-Gencturk ◽  
Tenzin Doleck
Keyword(s):  
Word Problem ◽  
Word Problems ◽  
Mathematical Knowledge ◽  
Teaching And Learning ◽  
Mathematics Learning ◽  
Mathematical Knowledge For Teaching ◽  
Important Indicator ◽  
Strategic Competence ◽  
The Usa ◽  
Valid Solution

AbstractPrior work on teachers’ mathematical knowledge has contributed to our understanding of the important role of teachers’ knowledge in teaching and learning. However, one aspect of teachers’ mathematical knowledge has received little attention: strategic competence for word problems. Adapting from one of the most comprehensive characterizations of mathematics learning (NRC, 2001), we argue that teachers’ mathematical knowledge also includes strategic competence, which consists of devising a valid solution strategy, mathematizing the problem (i.e., choosing particular strategies and presentations to translate the word problem into mathematical expressions), and arriving at a correct answer (executing a solution) for a word problem. By examining the responses of 350 fourth- and fifth-grade teachers in the USA to four multistep fraction word problems, we were able to explore manifestations of teachers’ strategic competence for word problems. Findings indicate that teachers’ strategic competence was closely related to whether they devised a valid strategy. Further, how teachers dealt with known and unknown quantities in their mathematization of word problems was an important indicator of their strategic competence. Teachers with strong strategic competence used algebraic notations or pictorial representations and dealt with unknown quantities more frequently in their solution methods than did teachers with weak strategic competence. The results of this study provide evidence for the critical nature of strategic competence as another dimension needed to understand and describe teachers’ mathematical knowledge.

Sign in / Sign up

Export Citation Format

Share Document