In this release, wuko aims to address a user experience issue related to the processing time for lengthy web page content and enhance communication with users. When ChatGPT takes a considerable amount of time to prepare the context based on the content, users are forced to wait for the first response. This issue mainly occurs for the first question, which has to send multiple requests to ChatGPT…
Here are some recent updates on wuko.ai that cover optimizing the default summary for the initial email for a webpage, improving the accuracy of URL parsing in emails, and enhancing ways to share your discovered insights. Summary with soul I have been fine-tuning the default summary for the initial email pertaining to a URL. The goal is to make the summary concise while distilling the key points…
You might have already heard of ChatPDF or pdf.ai . These use cases have been gaining traction recently. But why is that? Firstly, Why PDF? PDF is a ubiquitous format known for supporting a uniform appearance across different devices, offering compact file sizes, a rich format, and gaining legal acceptance. When content is formatted as a PDF file, it generally carries a formal tone, suitable for a…
For both web pages and PDF files, there may be restrictions set by their hosts to prevent bots from accessing them. Since read@wuko.ai retrieves the content you provide via its URL, it might not be able to fetch the content in the same manner as you can through a web browser. Fortunately, there are some simple workarounds for this accessibility issue, thanks to the PDF feature. Here are a couple…
The name "wuko" comes from Sun Wukong (孫悟空), a magical monkey in the Chinese classic novel "Journey to the West". Wukong is a symbol of enlightenment and transcendence, overcoming countless obstacles on a journey to retrieve sacred texts. Why wuko Was Born With the introduction of ChatGPT, it is obvious this tech and similar AI advancements will revolutionize almost everything. One of the common…
Introduction The quality of your mind is the quality of your life Naval In an era abundant with digital content, cultivating a reading habit is an effective way to enhance our lives. Read-it-later apps have become essential tools for individuals keen on organizing their reading habits. These apps serve as personal knowledge hubs, transforming fragmented readings into seeds of knowledge growth.…
wuko.ai offers an email-based service that provides summaries or answers for web pages upon request. Think of it as a "read-it-later" service, or an assistant that deciphers the essence of any web page for you. Since wuko.ai operates through email, it naturally supports multiple platforms. On mobile devices, most apps come with a typical share button that includes email options. When sharing…
Introduction Writing is a powerful medium for expressing unique ideas, inspiring change, and reflecting on personal experiences. It is also a great way to capture the attention of like-minded individuals. With many platforms offering enriched features for publishing, writers are increasingly focusing not only on where to publish but also on how to maintain control and ensure the effectiveness of…
Thin Website 2024-09-07 This post explores these three key aspects to demonstrate why static websites are an attractive option for writers seeking a long-term, manageable online presence. I will argue why it is better to refer to static websites as 'thin websites' and provide a brief introduction to using Obsidian to publish your writings. Clear barriers for insights with PDF 2023-09-24 a simple…
The bitvm2 paper describe a simpler way to achieve bridging bitcoin to l2. By looking into its codebase as of the commit 834199a , here are some notes on the key concepts from both the paper and the implementations. emulating covenant Covenant is a way to enforce the rules of how the UTXOs can be spent. Bitcoin doesn't have native covenant. BitVM relies on multi-signatures make agreements on the…
how bitvm2 works how circ works noname hint presentation hint function design stdlib, non-deterministic function and circ how circom works
noname stdlib noname needs a solid stdlib for the users to build their projects. Building a stdlib itself is also a proof of the usability of the language itself. To port the circomlib, one obvious hurdle we are facing is its lack of non-deterministic functions, aka hint. We were trying to create builtins instead to avoid the under-constraint bugs from hints. Builtins are faster and safer, but…
This note tries to document how the circom code is compiled to constraints and witness calculation executables. related doc A paper explain in details on the features of the circom lang: https://www.computer.org/csdl/journal/tq/2023/06/10002421/1Jv6BEAupcA AST parser It uses lalrpop parser framework:…
Circ 's IR is based on SMT-LIB. The IR is inspired from LLVM for CPU, but is for EQC(Existential Quantified Circuit), which is in the similar domain of SMT . The framework provides the facilities to translate frontend language to the IR, from IR to different arithmetic backends, and can be used to prove and verify zk program written in its supported frontend languages. This note is to explore how…
Goals Optimize constraints via non-deterministic functions Flexible to experiment with ideas that are not possible with existing builtins How hint works in circom Its compiler folds arithmetic expressions into one expression until it encounter the non-deterministic operations. The process also involve constant folding. There are some more details about this process in how circom works . Take the…
Introduction ZK Regex is an idea that uses zero-knowledge proofs (ZK) and regular expressions (Regex) to validate strings. The concept of zk regex was introduced through the zk-email project. I find it unique in the world of zk circuits and believe it will be very useful in attestations from web2 to web3. In order to better understand how it works, I delved into the process of converting regular…
To understand how the triangle counting can be represented by a polynomial, which is the form the sum check protocol described in Sum check - overview requires, it would be helpful to understand how the triangles can be represented using a adjacency matrix beforehand. The intuition around its matrix representation is fundamental to understanding its polynomial form from my view. This post focuses…
Introduction This is the part 1 of a blog post series about sum check protocol. The knowledge is mainly derived from the book Proofs, Arguments, and Zero-Knowledge by Justin Thaler and its study group . The emphasis of this series is on the use case of triangle counting and benchmarks with different implementations at low level. So it could be served as another dimensions to understanding the…
In action With sum check protocol and triangle graph explained in both Sum check - overview and Triangle counting , now is ready to see how them work together in action through the implementations. This post will focus on walking through a sumcheck implementation for the triangle counting use case. This mainly aims for two purposes. Firstly, it aims help you consolidate the understanding of the…
Hi there, I am kata , a software engineer currently in a quest of zk works and math magics. Reach out, if you know any cool projects to work together.