w# Meta Lifestyle Accelerator Grant Request 1. Team Overview Ronald Escalante, Team Lead and Main Developer Ronald is a versatile technology leader with over 20 years of experience spanning embedded systems, network infrastructure, full-stack development, and virtual reality applications. He excels in leading technical teams to provide comprehensive IT solutions that enhance business management for companies of various sizes. Ronald's expertise ranges from designing and implementing computing systems within budget constraints to developing applications and embedded systems. He specializes in assisting small and medium-sized businesses in optimizing their technological infrastructure, ensuring continuous operation, effectiveness, and innovation as well as creating their own software solutions for internal use. Background and Experience: Director of Technical Team at Corporación Skalant, S.A. (2009 – Present):Leads a technical team focused on server administration, customer service, and convergent data network management, including telephony and video. Helps clients reduce operational costs and improve efficiency by tailoring

Initial Position Robot: Try to find the closest hot object. Environment: Position: (0, 0) Proximity sensors: - Front: No object detected - Back: No object detected - Left: No object detected

Introduction As part of the our ongoing goal of replicating the functionality of the TLSNotary verifier, a tool written in Rust, into o1js, this document summarizes the research conducted on the redactions feature of TLS Notary. The primary goal was to explore the feasibility of adding this feature to our TypeScript implementation, enabling the notarization of data from websites while preserving the confidentiality of certain data elements. Background TLS Notary is a protocol that allows for the auditing of HTTPS sessions without revealing sensitive data to the auditor. A key component of this functionality is the ability to redact specific data, ensuring that only non-sensitive information is shared. This process is crucial for maintaining privacy and security during the notarization process. Research Findings The core of TLS Notary's redactions feature relies on the use of the ChaCha encryption algorithm. This algorithm plays a crucial role in how data is handled and protected during the notarization process. Our investigation revealed that the current Rust implementation leverages specific cryptographic techniques, including the use of ChaCha, to secure and manage data efficiently. Upon further exploration, it became apparent that there is no direct or fully compatible implementation of the ChaCha algorithm available in TypeScript. The absence of this implementation poses a significant challenge for replicating the exact functionality of the Rust-based TLS Notary verifier in o1js. Additionally, the cryptographic operations performed by ChaCha are intricate and require precise handling to maintain security properties, which further complicates potential porting efforts.

Preparación para el workshop Instalar Rust curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh rustup toolchain install nightly rustup default nightly Clonar el repositorio de TLSNotary git clone https://github.com/tlsnotary/tlsn.git Compilar y correr el servidor de TLSNotary cd notary-server cargo run --release

Prerrequisitos Cada tutorial ha sido probado con las últimas versiones de: zkApp CLI o1js (o1js se incluye automáticamente al crear un proyecto utilizando zkApp CLI). Otras dependencias según se indica. Instalar zkApp CLI Para instalar zkApp CLI:

Embracing Change In my previous career, I founded a software development company specializing in the Cisco ecosystem. Our company primarily focused on creating exceptional customer experiences through contact centers and omnichannel tools, such as chatbots. After years of successful operation, a US company acquired the company, providing me with an opportunity to exit and reevaluate my professional trajectory. Fascinated by the potential of web3 and crypto technologies, I decided to change my career path and dedicate my entire focus to the enigmatic realm of zero knowledge proofs (ZKP). This rapidly evolving field, filled with complex mathematics that I have always loved, presented a new challenge and an opportunity to contribute to the next generation of the digital world. As I took the plunge into the captivating world of Web3, I embarked on a journey to explore and master the intricate and transformative world of ZKP. Deep Dive into Learning My first endeavor was Encode Club's Zero Knowledge Bootcamp in September. Although the intricate subject matter often flew right over my head, my passion for ZKP remained undeterred, leading me to enroll for a second time in February. To further broaden my perspective, I signed up for Porter Adams' online course on zero knowledge proofs. The course shed light on the broad spectrum of zero-knowledge applications and principles, providing me with a comprehensive understanding of the field.

Table of Contents The original Senet game Zenet: The Modern Version Technology Used in the ProjectThe Aleo Platform The Unity Platform General Approach to the Problem Implementation Details

Install snarkOS following the instructions on their Github repo. Run the node in development mode snarkos start --nodisplay --dev 0 --beacon "" You will be given the a Private Key, a View Key and an Address. Take note of these as you'll need them later. In another window, run the following command to scan the node for spendable records. snarkos developer scan -v <VIEW_KEY> --start 0 --end 1 --endpoint "http://localhost:3030" Here, <VIEW_KEY> is the View Key you were given in step 2.