title: Provably correct smart contracts: An approach using DeepSEA

authors: Britten, Daniel

subjects: blockchain

abstract: It is possible to download a piece of software over the internet and then verify its correctness locally using an appropriate trusted proof system. However, on a blockchain like Ethereum, smart contracts cannot be altered once deployed. This guarantee of immutability makes it possible for end users to interact collectively with a 'networked' piece of software, with the same opportunity to verify its correctness. Formal verification of smart contracts on a blockchain therefore offers an unprecedented opportunity for end users to collectively interact with a deployed instance of software that they can verify while not relying on a central authority. All that is required to be trusted beyond the blockchain itself is an appropriate proof system, a component which always needs to be in the trusted computing base, and whose rules and definitions can be public knowledge. DeepSEA (Deep Simulation of Executable Abstractions) could serve as such a proof system.

text: Provably correct smart contracts: An approach using DeepSEA It is possible to download a piece of software over the internet and then verify its correctness locally using an appropriate trusted proof system. However, on a blockchain like Ethereum, smart contracts cannot be altered once deployed. This guarantee of immutability makes it possible for end users to interact collectively with a 'networked' piece of software, with the same opportunity to verify its correctness. Formal verification of smart contracts on a blockchain therefore offers an unprecedented opportunity for end users to collectively interact with a deployed instance of software that they can verify while not relying on a central authority. All that is required to be trusted beyond the blockchain itself is an appropriate proof system, a component which always needs to be in the trusted computing base, and whose rules and definitions can be public knowledge. DeepSEA (Deep Simulation of Executable Abstractions) could serve as such a proof system.

year: 2022

title: Field guide for the upper Temaikan, Heterian and lower Ohauan sequence at Kawhia Harbour

authors: Challinor, Brian

subjects: Kawhia Harbour

abstract: Kawhia township is located c. 50 km from Hamilton City. The party will leave the University of Waikato at 7 a.m. and travel southwestwards through the small town of Pirongia, and then westwards over the ranges south of Pirongia Forest Park. A brief stop will be made near the summit for a panoramic view of Kawhia Harbour. On reaching the shores of the harbour the road parallels the well-known Lower Puaroan outcrops near Puti Point. Travel time to Kawhia is c. 80 minutes and the boat trip across the harbour takes c. 45 minutes. We will land at Oraka Bay on the east coast of Totara Peninsula and walk eastwards following the coastline. Walking distance around the southern shore of the harbour is c. 5 km, some of it through deep mud, and, allowing time for collecting, will take 5 -6 hours. Dry footwear to change into after the excursion, windproofs, sunscreen and a hat are recommended.

text: Field guide for the upper Temaikan, Heterian and lower Ohauan sequence at Kawhia Harbour Kawhia township is located c. 50 km from Hamilton City. The party will leave the University of Waikato at 7 a.m. and travel southwestwards through the small town of Pirongia, and then westwards over the ranges south of Pirongia Forest Park. A brief stop will be made near the summit for a panoramic view of Kawhia Harbour. On reaching the shores of the harbour the road parallels the well-known Lower Puaroan outcrops near Puti Point. Travel time to Kawhia is c. 80 minutes and the boat trip across the harbour takes c. 45 minutes. We will land at Oraka Bay on the east coast of Totara Peninsula and walk eastwards following the coastline. Walking distance around the southern shore of the harbour is c. 5 km, some of it through deep mud, and, allowing time for collecting, will take 5 -6 hours. Dry footwear to change into after the excursion, windproofs, sunscreen and a hat are recommended.

year: 2001

title: Consequences of cultural satisfaction at work: A study of New Zealand Māori

authors: Haar, Jarrod M.

subjects: cultural satisfaction at work

abstract: To expand our understanding of indigenous workers and the importance of indigenous culture in the workplace, we tested the outcomes of cultural satisfaction at work using structural equation modelling with a sample of 174 Māori employees. We show that, consistent with social exchange theory, Māori who are more satisfied with the level of understanding of their cultural values in the workplace report better job outcomes. Cultural satisfaction at work directly predicted loyalty and organisational citizenship behaviours (OCBs). Furthermore, direct-effects and mediation models were tested, showing that loyalty fully mediated the influence of cultural satisfaction at work on OCBs. The implications for HRM are that indigenous workers who are more satisfied with the way their cultural beliefs are valued in the workplace are likely to be more loyal and may be superior performance. The findings highlight the importance for employers of having regard to the culture of their indigenous workers.

text: Consequences of cultural satisfaction at work: A study of New Zealand Māori To expand our understanding of indigenous workers and the importance of indigenous culture in the workplace, we tested the outcomes of cultural satisfaction at work using structural equation modelling with a sample of 174 Māori employees. We show that, consistent with social exchange theory, Māori who are more satisfied with the level of understanding of their cultural values in the workplace report better job outcomes. Cultural satisfaction at work directly predicted loyalty and organisational citizenship behaviours (OCBs). Furthermore, direct-effects and mediation models were tested, showing that loyalty fully mediated the influence of cultural satisfaction at work on OCBs. The implications for HRM are that indigenous workers who are more satisfied with the way their cultural beliefs are valued in the workplace are likely to be more loyal and may be superior performance. The findings highlight the importance for employers of having regard to the culture of their indigenous workers.

year: 2011