SnipSnap Presentation for Walnut Street Labs

•

1 like•465 views

The document appears to be an email from Ted Mann, CEO of SnipSnap Mobile App, thanking the recipient. It includes Ted's contact information and links to SnipSnap's website and Twitter account.

Technology

Ted Mann, CEO
ted@snipsnap.it 
@turkeymonkey
Thanks!
www.snipsnap.it | @snipsnapapp

This paper presents Reef, a system for generating publicly verifiable succinct non-interactive zero-knowledge proofs that a committed document matches or does not match a regular expression. We describe applications such as proving the strength of passwords, the provenance of email despite redactions, the validity of oblivious DNS queries, and the existence of mutations in DNA. Reef supports the Perl Compatible Regular Expression syntax, including wildcards, alternation, ranges, capture groups, Kleene star, negations, and lookarounds. Reef introduces a new type of automata, Skipping Alternating Finite Automata (SAFA), that skips irrelevant parts of a document when producing proofs without undermining soundness, and instantiates SAFA with a lookup argument. Our experimental evaluation confirms that Reef can generate proofs for documents with 32M characters; the proofs are small and cheap to verify (under a second). Paper: https://eprint.iacr.org/2023/1886

National Security Agency - NSA mobile device best practices

Quotidiano Piemontese

Viewers also liked

Three Hurrahs for Hyperlocal Journalism

Ted Mann

Three Hurrahs for Hyperlocal Journalism

Ted Mann

Hyperlocal 101

Ted Mann

Ara libertad judgement itlos highlighted

Gabrielia Shofiana

Guia argentina de tratamiento de la EPOC

Alejandro Videla

Ed Solutions Social Media 08 10 Final

Mark James

Psychology of Informatics Integration in HealthcareSanjoy Sanyal

U-7a_Critical Incident Analysis

Sanjoy Sanyal

U-2a_Internet Searching

Sanjoy Sanyal

GI Endoscopic Illustrations Part-II - Sanjoy Sanyal

Sanjoy Sanyal

Ed Sol Medc 06 04 09

Mark James

Isolated Small Intestinal Melanoma Diagnostic Conundrum - Sanjoy Sanyal

Sanjoy Sanyal

Automatic Physiological Assessment in Surgery Computer Program - Sanjoy Sanyal

Sanjoy Sanyal

ED Sol So Me Webinar 09 10 09 Final

Mark James

Medical Students' Online CompatibilitySanjoy Sanyal

Ueda Linked In Group

Mark James

Surgical Wounds Biological and Management Principles - Sanjoy Sanyal

Sanjoy Sanyal

Viewers also liked (17)

Three Hurrahs for Hyperlocal Journalism

Hyperlocal 101

Ara libertad judgement itlos highlighted

Guia argentina de tratamiento de la EPOC

Ed Solutions Social Media 08 10 Final

Psychology of Informatics Integration in Healthcare

U-7a_Critical Incident Analysis

U-2a_Internet Searching

GI Endoscopic Illustrations Part-II - Sanjoy Sanyal

Ed Sol Medc 06 04 09

Isolated Small Intestinal Melanoma Diagnostic Conundrum - Sanjoy Sanyal

Automatic Physiological Assessment in Surgery Computer Program - Sanjoy Sanyal

ED Sol So Me Webinar 09 10 09 Final

Medical Students' Online Compatibility

Ueda Linked In Group

Surgical Wounds Biological and Management Principles - Sanjoy Sanyal

Recently uploaded

Pushing the limits of ePRTC: 100ns holdover for 100 days

Adtran

GridMate - End to end testing is a critical piece to ensure quality and avoid...

ThomasParaiso2

Encryption in Microsoft 365 - ExpertsLive Netherlands 2024

Albert Hoitingh

zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs

Alex Pruden

National Security Agency - NSA mobile device best practices

Quotidiano Piemontese

Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...

SOFTTECHHUB

The choice of an operating system plays a pivotal role in shaping our computing experience. For decades, Microsoft's Windows has dominated the market, offering a familiar and widely adopted platform for personal and professional use. However, as technological advancements continue to push the boundaries of innovation, alternative operating systems have emerged, challenging the status quo and offering users a fresh perspective on computing. One such alternative that has garnered significant attention and acclaim is Nitrux Linux 3.5.0, a sleek, powerful, and user-friendly Linux distribution that promises to redefine the way we interact with our devices. With its focus on performance, security, and customization, Nitrux Linux presents a compelling case for those seeking to break free from the constraints of proprietary software and embrace the freedom and flexibility of open-source computing.

Epistemic Interaction - tuning interfaces to provide information for AI support

Alan Dix

Paper presented at SYNERGY workshop at AVI 2024, Genoa, Italy. 3rd June 2024 https://alandix.com/academic/papers/synergy2024-epistemic/ As machine learning integrates deeper into human-computer interactions, the concept of epistemic interaction emerges, aiming to refine these interactions to enhance system adaptability. This approach encourages minor, intentional adjustments in user behaviour to enrich the data available for system learning. This paper introduces epistemic interaction within the context of human-system communication, illustrating how deliberate interaction design can improve system understanding and adaptation. Through concrete examples, we demonstrate the potential of epistemic interaction to significantly advance human-computer interaction by leveraging intuitive human communication strategies to inform system design and functionality, offering a novel pathway for enriching user-system engagements.

みなさんこんにちはこれ何文字まで入るの？40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの？えこ...

名前です男

Free Complete Python - A step towards Data Science

RinaMondal9

How to Get CNIC Information System with Paksim Ga.pptx

danishmna97

Uni Systems Copilot event_05062024_C.Vlachos.pdf

Uni Systems S.M.S.A.

RESUME BUILDER APPLICATION Project for students

KAMESHS29

20240605 QFM017 Machine Intelligence Reading List May 2024

Matthew Sinclair

Generative AI Deep Dive: Advancing from Proof of Concept to Production

Aggregage

Video Streaming: Then, Now, and in the Future

Alpen-Adria-Universität

In his public lecture, Christian Timmerer provides insights into the fascinating history of video streaming, starting from its humble beginnings before YouTube to the groundbreaking technologies that now dominate platforms like Netflix and ORF ON. Timmerer also presents provocative contributions of his own that have significantly influenced the industry. He concludes by looking at future challenges and invites the audience to join in a discussion.

LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...

DanBrown980551

Do you want to learn how to model and simulate an electrical network from scratch in under an hour? Then welcome to this PowSyBl workshop, hosted by Rte, the French Transmission System Operator (TSO)! During the webinar, you will discover the PowSyBl ecosystem as well as handle and study an electrical network through an interactive Python notebook. PowSyBl is an open source project hosted by LF Energy, which offers a comprehensive set of features for electrical grid modelling and simulation. Among other advanced features, PowSyBl provides: - A fully editable and extendable library for grid component modelling; - Visualization tools to display your network; - Grid simulation tools, such as power flows, security analyses (with or without remedial actions) and sensitivity analyses; The framework is mostly written in Java, with a Python binding so that Python developers can access PowSyBl functionalities as well. What you will learn during the webinar: - For beginners: discover PowSyBl's functionalities through a quick general presentation and the notebook, without needing any expert coding skills; - For advanced developers: master the skills to efficiently apply PowSyBl functionalities to your real-world scenarios.

Elizabeth Buie - Older adults: Are we really designing for our future selves?

Nexer Digital

DevOps and Testing slides at DASA Connect

Kari Kakkonen

PCI PIN Basics Webinar from the Controlcase Team

ControlCase

Mind map of terminologies used in context of Generative AI

Kumud Singh

Recently uploaded (20)

Pushing the limits of ePRTC: 100ns holdover for 100 days

GridMate - End to end testing is a critical piece to ensure quality and avoid...

Encryption in Microsoft 365 - ExpertsLive Netherlands 2024

zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs

National Security Agency - NSA mobile device best practices

Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...

Epistemic Interaction - tuning interfaces to provide information for AI support

Free Complete Python - A step towards Data Science

How to Get CNIC Information System with Paksim Ga.pptx

Uni Systems Copilot event_05062024_C.Vlachos.pdf

RESUME BUILDER APPLICATION Project for students

20240605 QFM017 Machine Intelligence Reading List May 2024

Generative AI Deep Dive: Advancing from Proof of Concept to Production

Video Streaming: Then, Now, and in the Future

LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...

Elizabeth Buie - Older adults: Are we really designing for our future selves?

DevOps and Testing slides at DASA Connect

PCI PIN Basics Webinar from the Controlcase Team

Mind map of terminologies used in context of Generative AI