Inside Cisco IT: Secure and Simplified Cloud Services with ACICisco IT
The Cloud is one of the fastest growing solutions today and the significance of the secure multi-tenant data center on business applications is increasing. Cisco IT is building an Application Centric Infrastructure (ACI) for Cloud Computing. An ACI environment requires a holistic approach in managing and orchestrating network, server, storage and application resources within a data center and across multiple data centers. This enables Cisco IT to deliver a secure programmable infrastructure that anticipates application requirements and through policies delivers Software as Service offerings to Cisco Business Units. Cisco IT has been a fundamental driver in building and adapting the suite of management tools needed today to orchestrate data center infrastructure and platforms to deliver business services.
Attendees will learn how Cisco IT is designing next-generation application aware solutions and the new policy models required for this journey. Cisco IT is migrating all traditional applications to a radically simplified compute platform and programmable network. Application Centric Infrastructure will significantly reduce the network complexity and improve security, while reducing application deployment cycles. Cisco IT has aggressively deployed an internal private cloud with the goal of offering all IT services as self-service. Attendees will understand the TCO Cisco IT has achieved building Application Centric Infrastructure along with our existing UCS compute platform. Additionally we will share the experience and lessons learned from our journey transforming applications and platforms to an infrastructure aware architecture.
Session highlights include:
• Cisco IT’s adoption of Application Centric Infrastructure (ACI)
• Application Centric Infrastructure Design
• Nexus 9000
• Unified Compute System
• Infrastructure as a Service (IaaS)
• Platform as a Service (PaaS)
• Improved Application Security
• Reducing data center and network operating costs
• Driving higher utilization of existing servers
• Organizational Alignment
• Application transformation
Primend Praktiline Konverents - Rakenduse keskne IT infrastruktuur / Cisco Ap...Primend
Andmekeskuse virtualiseerumise ja konvergeerumise tulemusena on tekkinud keskkond, kus seadmete senised haldamise lahendused ja protseduurid ei ole piisavad käideldavuse ja konfidentsiaalsuse tagamiseks. Uue põlvkonna halduslahendused peavad hakkama saama salvestuse, arvutuse ja rakenduste mobiilsusega.
Cisco on Cisco - Sharing Cisco IT's ExperienceCisco IT
Take a look inside Cisco IT. Find out how Cisco addresses many of the same IT challenges you face every day. Benefit from practical experience and lessons learned deploying Cisco products and technologies in a global enterprise infrastructure. See how these solutions help to implement strategies that get results.
Inside Cisco IT: Secure and Simplified Cloud Services with ACICisco IT
The Cloud is one of the fastest growing solutions today and the significance of the secure multi-tenant data center on business applications is increasing. Cisco IT is building an Application Centric Infrastructure (ACI) for Cloud Computing. An ACI environment requires a holistic approach in managing and orchestrating network, server, storage and application resources within a data center and across multiple data centers. This enables Cisco IT to deliver a secure programmable infrastructure that anticipates application requirements and through policies delivers Software as Service offerings to Cisco Business Units. Cisco IT has been a fundamental driver in building and adapting the suite of management tools needed today to orchestrate data center infrastructure and platforms to deliver business services.
Attendees will learn how Cisco IT is designing next-generation application aware solutions and the new policy models required for this journey. Cisco IT is migrating all traditional applications to a radically simplified compute platform and programmable network. Application Centric Infrastructure will significantly reduce the network complexity and improve security, while reducing application deployment cycles. Cisco IT has aggressively deployed an internal private cloud with the goal of offering all IT services as self-service. Attendees will understand the TCO Cisco IT has achieved building Application Centric Infrastructure along with our existing UCS compute platform. Additionally we will share the experience and lessons learned from our journey transforming applications and platforms to an infrastructure aware architecture.
Session highlights include:
• Cisco IT’s adoption of Application Centric Infrastructure (ACI)
• Application Centric Infrastructure Design
• Nexus 9000
• Unified Compute System
• Infrastructure as a Service (IaaS)
• Platform as a Service (PaaS)
• Improved Application Security
• Reducing data center and network operating costs
• Driving higher utilization of existing servers
• Organizational Alignment
• Application transformation
Primend Praktiline Konverents - Rakenduse keskne IT infrastruktuur / Cisco Ap...Primend
Andmekeskuse virtualiseerumise ja konvergeerumise tulemusena on tekkinud keskkond, kus seadmete senised haldamise lahendused ja protseduurid ei ole piisavad käideldavuse ja konfidentsiaalsuse tagamiseks. Uue põlvkonna halduslahendused peavad hakkama saama salvestuse, arvutuse ja rakenduste mobiilsusega.
Cisco on Cisco - Sharing Cisco IT's ExperienceCisco IT
Take a look inside Cisco IT. Find out how Cisco addresses many of the same IT challenges you face every day. Benefit from practical experience and lessons learned deploying Cisco products and technologies in a global enterprise infrastructure. See how these solutions help to implement strategies that get results.
Data, Technology, and Innovation: Platform for ChangeCisco Canada
The topic is “change”. Many things around us cause organizations to rethink how they work and provide the best possible resources for their workforce. Globalization, economy, environment, and talent mismatch are merely a few influence factors that are changing today’s workplace. Among the greatest catalysts of change we witness the rise and expansion of the Internet and the information society. The Internet is only 20 years old and has had—and will be having—a profound impact on everything we do. Work, workplace, and businesses are affected by the transformational changes caused by networks, information technology, and the Internet. This presentation addresses the technology changes and their consequent impact on work and workplaces. It talks about how the Internet can have a positive influence on change and the organizations of the future.
Learn how Cisco helps lower the architectural, cost, and deployment barriers to small cell deployments in enterprises of every size.
To learn more, please visit: www.cisco.com/go/smallcell and or Tweet us @CiscoSP360 for questions and comments.
TechWiseTV Workshop: Cisco DNA Center AssuranceRobb Boyd
Watch the replay: http://cs.co/9007Dbh39
In this deep dive you’ll learn how this comprehensive solution provides actionable intelligence to help you get to the right IT decision faster. And speed you on your way to an intent-based network. Learn how to gain end-to-end network visibility in one easy-to-use dashboard, make more sense out of data by eliminating noise and false positives, reduce downtime and troubleshooting time with rapid root-cause analysis and actionable insights and move beyond reactive monitoring with proactive and predictive analytics.
Resources:
Watch the related TechWiseTV episode: http://cs.co/9008DXCQi
TechWiseTV: http://cs.co/9009DzrjN
Joe Onisick, Principal Engineer, Cisco discusses building the right network and understanding different overlay approaches at Cisco Connect Toronto 2015.
Meraki vs. Viptela: Which Cisco SD-WAN Solution Is Right for You?Insight
More organizations are making the shift to Software-Defined Wide Area Networks (SD-WANs), but it can be difficult to decide which solutions are best suited to your business. In this infographic, explore two of the most well-established and widely deployed enterprise-grade Cisco SD-WAN solutions: Meraki MX and Viptela.
Application Centric Infrastructure (ACI), the policy driven data centreCisco Canada
Mike Herbet, Principal Engineer, Cisco, Dave Cole, Consulting Systems Engineer, Cisco, Sean Comrie, Technical Solutions Architect, Cisco focused on the application centric infrastructure (ACI) at Cisco Connect Toronto.
Cisco® Application Centric Infrastructure (ACI) is an innovative architecture that radically simplifies, optimizes, and accelerates the entire application deployment lifecycle. Cloud, mobility, and big data applications are causing a shift in the data center model. Cisco ACI redefines the power of IT, enabling IT to be more responsive to changing business and application needs, enhancing agility, and adding business value. Cisco ACI delivers a transformational operating model for next-generation data center and cloud applications. This Cisco ACI hands lab will step you through from the ACI Fabric concepts to deployment. • Cisco ACI Overview • ACI Fabric Discovery • ACI Building Basic Network Constructs • ACI Building Policy Filters and Contracts • : Deploying a 3-Tier Application Network Profile • ACI Integrating with VMware • Deploying a Service Graph with Application Network Profile • Exploring Monitoring and Troubleshooting
Data, Technology, and Innovation: Platform for ChangeCisco Canada
The topic is “change”. Many things around us cause organizations to rethink how they work and provide the best possible resources for their workforce. Globalization, economy, environment, and talent mismatch are merely a few influence factors that are changing today’s workplace. Among the greatest catalysts of change we witness the rise and expansion of the Internet and the information society. The Internet is only 20 years old and has had—and will be having—a profound impact on everything we do. Work, workplace, and businesses are affected by the transformational changes caused by networks, information technology, and the Internet. This presentation addresses the technology changes and their consequent impact on work and workplaces. It talks about how the Internet can have a positive influence on change and the organizations of the future.
Learn how Cisco helps lower the architectural, cost, and deployment barriers to small cell deployments in enterprises of every size.
To learn more, please visit: www.cisco.com/go/smallcell and or Tweet us @CiscoSP360 for questions and comments.
TechWiseTV Workshop: Cisco DNA Center AssuranceRobb Boyd
Watch the replay: http://cs.co/9007Dbh39
In this deep dive you’ll learn how this comprehensive solution provides actionable intelligence to help you get to the right IT decision faster. And speed you on your way to an intent-based network. Learn how to gain end-to-end network visibility in one easy-to-use dashboard, make more sense out of data by eliminating noise and false positives, reduce downtime and troubleshooting time with rapid root-cause analysis and actionable insights and move beyond reactive monitoring with proactive and predictive analytics.
Resources:
Watch the related TechWiseTV episode: http://cs.co/9008DXCQi
TechWiseTV: http://cs.co/9009DzrjN
Joe Onisick, Principal Engineer, Cisco discusses building the right network and understanding different overlay approaches at Cisco Connect Toronto 2015.
Meraki vs. Viptela: Which Cisco SD-WAN Solution Is Right for You?Insight
More organizations are making the shift to Software-Defined Wide Area Networks (SD-WANs), but it can be difficult to decide which solutions are best suited to your business. In this infographic, explore two of the most well-established and widely deployed enterprise-grade Cisco SD-WAN solutions: Meraki MX and Viptela.
Application Centric Infrastructure (ACI), the policy driven data centreCisco Canada
Mike Herbet, Principal Engineer, Cisco, Dave Cole, Consulting Systems Engineer, Cisco, Sean Comrie, Technical Solutions Architect, Cisco focused on the application centric infrastructure (ACI) at Cisco Connect Toronto.
Cisco® Application Centric Infrastructure (ACI) is an innovative architecture that radically simplifies, optimizes, and accelerates the entire application deployment lifecycle. Cloud, mobility, and big data applications are causing a shift in the data center model. Cisco ACI redefines the power of IT, enabling IT to be more responsive to changing business and application needs, enhancing agility, and adding business value. Cisco ACI delivers a transformational operating model for next-generation data center and cloud applications. This Cisco ACI hands lab will step you through from the ACI Fabric concepts to deployment. • Cisco ACI Overview • ACI Fabric Discovery • ACI Building Basic Network Constructs • ACI Building Policy Filters and Contracts • : Deploying a 3-Tier Application Network Profile • ACI Integrating with VMware • Deploying a Service Graph with Application Network Profile • Exploring Monitoring and Troubleshooting
Driving Innovation: A Path to Digitization, Speed and Visibility in an Applic...Cisco Canada
Digital transformation is the key buzz word today. But how do you get there? How do you plan now for the future? Cisco delivers the most complete SDN solutions to meet your data center needs - from programmable networks to programmable fabrics to a fully integrated solution with Application Centric Infrastructure (ACI). Here about our latest innovations for all areas, from Applications to ASICs, that bring unique capabilities and value to the industry. Hear your peers share their SDN journeys and how Cisco's open choice solutions have helped them improve agility and attain astounding results for their business. And learn how to lay the foundation now for your digital transformation in the decade ahead. Get ready!
Cisco ACI & F5 Integrate to Transform the Data CenterF5NetworksAPJ
To meet business expectations without compromising on security, availability, or performance, today’s IT organizations are expected to deliver applications with a speed and efficiency that was unimaginable just a few years ago. To keep pace, you must transform your data
center infrastructure to support the rapid provisioning and scaling of network and application services. With the joint solution of Cisco Application Centric Infrastructure (ACI) and F5 Synthesis™, you can operationalize the network and accelerate application deployment.
Automation is integral to Cisco® Application Centric Infrastructure (ACI). Learn about the basic concepts necessary to begin effectively using the programmatic features of Cisco ACI. The session begins with an overview of the Cisco ACI object model, which describes how the system interprets configuration and represents state to internal and external entities. The Representational State Transfer (REST) API provides the means necessary to manipulate the object store, which contains the configured state of the Cisco Application Policy Infrastructure Controller (APIC) using the object model as the metadata definition. The session also covers the Cisco APIC software development kit (SDK) uses the REST API to read and write the configuration of Cisco APIC, using the object model to describe the current and desired states.
Cisco at DevTO - Tomorrow Starts Now for Sheridan College Students (July 28, ...Marc Lijour, OCT, BSc, MBA
Sheridan students are involved in hackathons, working with the Toronto 2015 Pan Am and Parapan Am Games, and they learn actively with the latest video and collaboration techniques. Their students are career-ready, some of them launching their own business while in school. This presentation will explore the main technology infrastructure based on Cisco which makes all that possible, as well as the involvement of Sheridan in leading programs such as VROC and Connected North. Developers won’t want to miss hearing about cool technologies like CMX, Jabber Guest, and other technologies available on DevNet.
Sheridan students are involved in hackathons, working with the Toronto 2015 Pan Am and Parapan Am Games, and they learn actively with the latest video and collaboration techniques. Their students are career-ready, some of them launching their own business while in school. This presentation will explore the main technology infrastructure based on Cisco which makes all that possible, as well as the involvement of Sheridan in leading programs such as VROC and Connected North. Developers won’t want to miss hearing about cool technologies like CMX, Jabber Guest, and other technologies available on DevNet.
Incredible Compute Density: Cisco DNA Center Platform: Digging Deeper with APIsRobb Boyd
Learn more on getting hands-on with Cisco DNA Center Platform APIs. Join us as we go over the brand new DNA Center Platform and show you how to start integrating and developing your own applications on DNA Center. The possibilities are endless!
Blair christie global editors conf 12.9.14 finalMarc Musgrove
Cisco CMO Blair Christie's presentation at the Cisco Global Editors' Conference - on the future of work and results of our recent IoT Analytics thought leadership study.
Making Networks More Agile, Open, and Application Centric - Cisco InsightsCisco Service Provider
Learn how to apply SDN, NFV, and Open APIs to drive positive business outcomes for Service Providers by visiting any of the following pages:
http://www.cisco.com/go/sp
http://www.cisco.com/go/epn
http://www.cisco.com/go/esp
All Together Now: Connected Analytics for the Internet of EverythingInside Analysis
The Briefing Room with Mark Madsen and Cisco
Live Webcast August 18, 2015
Watch the archive: https://bloorgroup.webex.com/bloorgroup/lsr.php?RCID=0eff120f8b2879b582b77f4ff207ee54
Today's digital enterprises are seeing an explosion of data at the edge. The Internet of Everything is fast approaching a critical mass that will demand a sea change in how companies process data. This new world of information is widely distributed, streaming, and overall becoming too big to move. Experts predict that within two to three years, the bulk of analytic processing will take place on the fringes of information architectures. As a result, forward-thinking companies are dramatically shifting their analytic strategies.
Register for this episode of The Briefing Room to hear veteran Analyst Mark Madsen of Third Nature explain how a new era of information architectures is now unfolding, paving the way to much more responsive and agile business models. He'll be briefed by Kim Macpherson of the Cisco Data and Analytics Business Unit, who will explain how her company's platform is uniquely suited for this new, federated analytic paradigm. She'll demonstrate how edge analytics can help companies address opportunities quickly and effectively.
Visit InsideAnalysis.com for more information.
Internet of Everything: The CIO's Point of ViewCisco Canada
Rebecca Jacoby, SVP and CIO Cisco, as she takes you on a journey through the possibilities of the Internet of Everything. Rebecca will share a CIO's perspective of the technology transformations enabling this new era. She will offer insights into the critical elements needed to effectively build a foundation to meet today's IT imperative: Unlock the business value available through the intelligent connections among people, process, data and things.
MIITE India-Career Options with IT & Soft skill certification for Freshers, P...Prof. Harsha Kestur
Today, skill imparting and up-gradation is most wanted to entrepreneurs & professionals Keeping this in focus and as our objective, and with support from both National and International institutions, the EFS Academy, India has developed programs to suit professionals, students, entrepreneur needs.
EFS Academy has developed many ‘skill-based programs,’ that are grouped under major skill-sets. These programs are tailor-made to the training needs. For this purpose, we have collaborated with the ‘National Education University, USA,’ and the ‘State University of New York USA’ for the course design, content, and delivery, to meet the requirements of professionals, students.
These programs are administered by RIMSR, EFS Academy, which are technology driven dedicated skill-enhancement institutions in India. The programs are delivered on e-platform. Upon successful completion of the courses, the participants are duly certified.
These Programs offers more than 400 skill-sets so that professional has option to choose based on their specific needs. The focus is on the content, quality and the learning index of the participants. Program Fees Rs. 2400/- per participant per program as per enclosed PPT.
To say it in short, these programs are extremely useful, to entrepreneurs, professionals,students to professionalize themselves with the global standards.
GraphRAG is All You need? LLM & Knowledge GraphGuy Korland
Guy Korland, CEO and Co-founder of FalkorDB, will review two articles on the integration of language models with knowledge graphs.
1. Unifying Large Language Models and Knowledge Graphs: A Roadmap.
https://arxiv.org/abs/2306.08302
2. Microsoft Research's GraphRAG paper and a review paper on various uses of knowledge graphs:
https://www.microsoft.com/en-us/research/blog/graphrag-unlocking-llm-discovery-on-narrative-private-data/
Accelerate your Kubernetes clusters with Varnish CachingThijs Feryn
A presentation about the usage and availability of Varnish on Kubernetes. This talk explores the capabilities of Varnish caching and shows how to use the Varnish Helm chart to deploy it to Kubernetes.
This presentation was delivered at K8SUG Singapore. See https://feryn.eu/presentations/accelerate-your-kubernetes-clusters-with-varnish-caching-k8sug-singapore-28-2024 for more details.
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.
DevOps and Testing slides at DASA ConnectKari Kakkonen
My and Rik Marselis slides at 30.5.2024 DASA Connect conference. We discuss about what is testing, then what is agile testing and finally what is Testing in DevOps. Finally we had lovely workshop with the participants trying to find out different ways to think about quality and testing in different parts of the DevOps infinity loop.
The Art of the Pitch: WordPress Relationships and SalesLaura Byrne
Clients don’t know what they don’t know. What web solutions are right for them? How does WordPress come into the picture? How do you make sure you understand scope and timeline? What do you do if sometime changes?
All these questions and more will be explored as we talk about matching clients’ needs with what your agency offers without pulling teeth or pulling your hair out. Practical tips, and strategies for successful relationship building that leads to closing the deal.
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdfPaige Cruz
Monitoring and observability aren’t traditionally found in software curriculums and many of us cobble this knowledge together from whatever vendor or ecosystem we were first introduced to and whatever is a part of your current company’s observability stack.
While the dev and ops silo continues to crumble….many organizations still relegate monitoring & observability as the purview of ops, infra and SRE teams. This is a mistake - achieving a highly observable system requires collaboration up and down the stack.
I, a former op, would like to extend an invitation to all application developers to join the observability party will share these foundational concepts to build on:
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
Welcome to the first live UiPath Community Day Dubai! Join us for this unique occasion to meet our local and global UiPath Community and leaders. You will get a full view of the MEA region's automation landscape and the AI Powered automation technology capabilities of UiPath. Also, hosted by our local partners Marc Ellis, you will enjoy a half-day packed with industry insights and automation peers networking.
📕 Curious on our agenda? Wait no more!
10:00 Welcome note - UiPath Community in Dubai
Lovely Sinha, UiPath Community Chapter Leader, UiPath MVPx3, Hyper-automation Consultant, First Abu Dhabi Bank
10:20 A UiPath cross-region MEA overview
Ashraf El Zarka, VP and Managing Director MEA, UiPath
10:35: Customer Success Journey
Deepthi Deepak, Head of Intelligent Automation CoE, First Abu Dhabi Bank
11:15 The UiPath approach to GenAI with our three principles: improve accuracy, supercharge productivity, and automate more
Boris Krumrey, Global VP, Automation Innovation, UiPath
12:15 To discover how Marc Ellis leverages tech-driven solutions in recruitment and managed services.
Brendan Lingam, Director of Sales and Business Development, Marc Ellis
Le nuove frontiere dell'AI nell'RPA con UiPath Autopilot™UiPathCommunity
In questo evento online gratuito, organizzato dalla Community Italiana di UiPath, potrai esplorare le nuove funzionalità di Autopilot, il tool che integra l'Intelligenza Artificiale nei processi di sviluppo e utilizzo delle Automazioni.
📕 Vedremo insieme alcuni esempi dell'utilizzo di Autopilot in diversi tool della Suite UiPath:
Autopilot per Studio Web
Autopilot per Studio
Autopilot per Apps
Clipboard AI
GenAI applicata alla Document Understanding
👨🏫👨💻 Speakers:
Stefano Negro, UiPath MVPx3, RPA Tech Lead @ BSP Consultant
Flavio Martinelli, UiPath MVP 2023, Technical Account Manager @UiPath
Andrei Tasca, RPA Solutions Team Lead @NTT Data
Generative AI Deep Dive: Advancing from Proof of Concept to ProductionAggregage
Join Maher Hanafi, VP of Engineering at Betterworks, in this new session where he'll share a practical framework to transform Gen AI prototypes into impactful products! He'll delve into the complexities of data collection and management, model selection and optimization, and ensuring security, scalability, and responsible use.
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.
Securing your Kubernetes cluster_ a step-by-step guide to success !KatiaHIMEUR1
Today, after several years of existence, an extremely active community and an ultra-dynamic ecosystem, Kubernetes has established itself as the de facto standard in container orchestration. Thanks to a wide range of managed services, it has never been so easy to set up a ready-to-use Kubernetes cluster.
However, this ease of use means that the subject of security in Kubernetes is often left for later, or even neglected. This exposes companies to significant risks.
In this talk, I'll show you step-by-step how to secure your Kubernetes cluster for greater peace of mind and reliability.
Climate Impact of Software Testing at Nordic Testing DaysKari Kakkonen
My slides at Nordic Testing Days 6.6.2024
Climate impact / sustainability of software testing discussed on the talk. ICT and testing must carry their part of global responsibility to help with the climat warming. We can minimize the carbon footprint but we can also have a carbon handprint, a positive impact on the climate. Quality characteristics can be added with sustainability, and then measured continuously. Test environments can be used less, and in smaller scale and on demand. Test techniques can be used in optimizing or minimizing number of tests. Test automation can be used to speed up testing.
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex ProofsAlex Pruden
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